TOC-Short

TOC Formal Languages Finite Automata Regular Grammar Context Free Languages Pushdown Automata Context Sensitive Language Turing Machines

Turing Machines

Definition and Model

Representation of Turing Machine

Design of Turing Machine

Variants of Turing Machine

Decidability and recursively enumerable languages

Halting problem

Post correspondence problem

TOC Formal Languages Finite Automata Regular Grammar Context Free Languages Pushdown Automata Context Sensitive Language Turing Machines