Regular Language

PushDown Automata

Turing Machines