Deterministic Finite State Automata

Non-deterministic Finite State Automata

Regular Languages

Subset Construction

Regular Expressions

Non-regular languages

Grammars

CFLs

PushDown Automata

Chomsky Normal Form

Cock-Younger-Kasami

Turing Machines

Overview