Your country

Tools that support it use your country for local currency, number formats, units and paper size. Your choice is saved only in this browser.

Type a name or a two-letter code. Use the up and down arrow keys to move through the countries, Enter to choose one and Escape to close.

Computer science fundamentals

Theory of Computation

The planned outline of 12 modules. Lessons are written, run and reviewed before they are published.

Coming soon 12 modules

Coming soon. This track is being written. Below is its planned outline: a lesson appears here once its examples have been run and its technical review is signed off.

Planned outline

  1. Module 1

    Strings, languages and the questions of computation

    Coming soon
  2. Module 2

    Deterministic finite automata

    Coming soon
  3. Module 3

    Nondeterminism and the subset construction

    Coming soon
  4. Module 4

    Regular expressions and Kleene's theorem

    Coming soon
  5. Module 5

    Limits and properties of regular languages

    Coming soon
  6. Module 6

    Finite-state machines in real software

    Coming soon
  7. Module 7

    Context-free grammars and parsing

    Coming soon
  8. Module 8

    Pushdown automata and context-free language properties

    Coming soon
  9. Module 9

    Turing machines and the Church–Turing thesis

    Coming soon
  10. Module 10

    Decidability and undecidability

    Coming soon
  11. Module 11

    Complexity: P, NP, PSPACE and beyond

    Coming soon
  12. Module 12

    GATE CS theory of computation: method and practice

    India-specific Coming soon

Related tools

Official documentation

More in Computer science fundamentals

Quick answers and tool search

Type to search tools or to get a quick answer, for example 18% of 2500. Use the up and down arrow keys to move through the results, Enter to choose, and Escape to close.