Ebook An introduction to formal language theory that integrates experimentation and proof

The book consists of five chapters. Chapter 1, Mathematical Background; Chapter 2, Formal Languages; Chapter 3, Regular Languages; Chapter 4, Context-free Languages; Chapter 5, Recursive and Recursively Enumerable Languages.