-
14.1 Lecture 1 Overview
-
14.2 Lecture 2 Strings, Languages, DFAs
-
14.3 Lecture 3 More on DFAs
-
14.4 Lecture 4 Regular Expressions and Product Construction
-
14.5 Lecture 5 Nondeterministic Automata
-
14.6 Lecture 6 Closure properties
-
14.7 Lecture 7 NFAs are equivalent to DFAs
-
14.8 Lecture 8 From DFAs/NFAs to Regular Expressions
-
14.9 Lecture 9 Proving non-regularity
-
14.10 Lecture 10 DFA minimization
-
14.11 Lecture 11 Context-free grammars
-
14.12 Lecture 12 Cleaning up CFGs and Chomsky Normal form
-
14.13 Lecture 13 Even More on Context-Free Grammars
-
14.14 Lecture 14 Repetition in context free languages
-
14.15 Lecture 15 CYK Parsing Algorithm
-
14.16 Lecture 16 Recursive automatas
-
14.17 Lecture 17 Computability and Turing Machines
-
14.18 Lecture 18 More on Turing Machines
-
14.19 Lecture 19 Encoding problems and decidability
-
14.20 Lecture 20 More decidable problems, and simulating TM and “real” computers
-
14.21 Lecture 21 Undecidability, halting and diagonalization
-
14.22 Lecture 22 Reductions
-
14.23 Lecture 23 Rice Theorem and Turing machine behavior properties
-
14.24 Lecture 24 Dovetailing and non-deterministic Turing machines
-
14.25 Lecture 25 Linear Bounded Automata and Undecidability for CFGs