Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove
Files
Document Type
Book
Publisher
Springer
Year
2024
Description
Covers all the mathematical development traditionally employed in computational theory courses
Reviews essential mathematical background on sets, relations, formal logic, and reasoning about infinite sets
Provides students with the FSM programming language to implement their machines, grammars, and regular expressions
Recommended Citation
Morazán, Marco, "Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove" (2024). Faculty Publications Books. 16.
https://scholarship.shu.edu/faculty-pubs-books/16
