Regular Language
PushDown Automata
Turing Machines