COMS11700: Theory of Computation
This page contains the lecture slides
for Theory
of Computation, which I taught in 2013-14.
- Pushdown automata [ screen ]
- Context-free grammars and PDAs
[ screen ]
- Pumping lemma for CFLs [ screen
]
- Turing machines [ screen ]
- Turing machines continued
[ screen ]
- Undecidability [ screen ]
- Computational complexity
[ screen ]