Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove
English | 2024 | ISBN: 3031439724 | 530 Pages | PDF (True) | 13 MB
English | 2024 | ISBN: 3031439724 | 530 Pages | PDF (True) | 13 MB
This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in computational theory courses, it is also quite different from many of them. Machines, grammars, and algorithms developed as part of a constructive proof are intended to be rendered as programs.