Part 1: Mathematical Background

Part 2: Finite Automata and Regular Languages

Part 3: Context-Free Grammars and Pushdown Automata

Part 4: Truring Machines and the Concept of an Algorithm

Part 5: Decidability Theory