Description: Restricted models of computation: finite automata and pushdown automata. Grammars and their relation to automata. Closure properties and pumping lemmas. Turing machines and the ...