Catalog Β· Theory of Computation Lecture 7 of 25 Lecture 7: Decision Problems for Automata and Grammars β Previous Lecture 6: TM Variants, Church-Turing Thesis Next β Lecture 8: Undecidability β Mark complete Materials Transcript (PDF) β transcript