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

by Marco T. Morazán

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.

The book is divided into four parts that build...

• Format: Hardcover
• Language: English
• ISBN: 3031439724
• ISBN13: 9783031439728
• Release Date: December 2023
• Publisher: Springer
• Length: 524 Pages
• Weight: 2.07 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"