Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove

This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. Part II starts the study of formal languages and automata theory in earnest with regular languages. Part III starts the exploration of languages that are not regular with context-free languages.