Programming-based formal languages and automata theory: design, implement, validate, and prove
Auteur :
Morazán, Marco T.
Éditeur :
Springer International Publishing AG
ISBN :
9783031439759
Date de publication :
20 déc. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.