Example 7: Mastering Language Decision and Recognition Techniques 📚

ERRATUM: The correct pages for these examples are pp.197-199. This is Example 7: Deciding and Recognizing Languages, a companion video for lecture 9 of COMS W3261: Computer Science Theory at Columbia University. This isn't a standalone video - it's designed to complement the course content. 0:00 Introduction 0:42 Example 1: EQ_{DFA} 6:26 Example 2: E_{CFG} 11:15 Example 3: not(E_{TM}) Course website: https://twrand.github.io/3261-sum22.html Video notes: https://twrand.github.io/pdfs/notability/COMSW3261_sum22_Ex7.pdf