Branches
Covers fundamental concepts in computational theory.
Focuses on regular languages and finite automata.
Covers context-free grammars and related concepts.
Introduces Turing machines and undecidability.