Catalog Β· Theory of Computation Lecture 8 of 25 Lecture 8: Undecidability β Previous Lecture 7: Decision Problems for Automata and Grammars Next β Lecture 9: Reducibility β Mark complete Materials Transcript (PDF) β transcript