Chapter 1: Regular Languages Chapter 2: Grammars Chapter 3: Church-Turing Thesis Chapter 4: Decidability