Chapter 0 Week 1§ -1.1. Formal Languages Course Introduction -1.2. Key Concepts -1.2.1. Key Concepts -1.3. Deterministic Finite Acceptors -1.3.1. Deterministic Finite Acceptors
Chapter 1 Week 2§ -1.1. Non-Deterministic Finite Acceptor -1.2. Minimizing the Number of States in a DFA
Chapter 2 Week 3§ -1.1. Regular Languages and Expressions -1.2. Regular Grammars -1.3. Closure Properties of Regular Languages
Chapter 6 Week 8§ -1.1. Deterministic Pushdown Automata -1.2. Grammars for Deterministic Context-free Languages -1.3. Pumping Lemma for CFL -1.4. Closure Properties for CFLs
Chapter 7 Week 9§ -1.1. Turing Machines -1.2. Decideability vs. Acceptability -1.3. Combining Turing Machines -1.4. Turing Machine Extensions