Computer Science & IT
Theoretical Foundations of Computing
Contents Chapter 1. Introduction to Formal Proof 1 Chapter 2. Additional Forms of Proof 25 Chapter 3. Regular Expressions and Languages 56 Chapter 4. Closure Properties of Regular Languages 85 Chapter 5. Context Free Grammar and Languages 109