CS551: Theory of Computation
Introduction to Theory of Computation
Mathematical Background
Mathematical Proofs
Variables and Quantifiers
Automata and Languages
Regular Expressions
Regular Grammars
Non Regular Languages
Push-Down Automata
Context Free Languages
Parsing
Formal Languages
Turing Machines ( only deterministic)