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

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. Autor: Marco T. Morazan Wydawnictwo: Springer Rok wydania: 2024 Okładka: miękka Liczba stron: 524 Wymiary: 23.5 x 15.5 cm Ilustracje: 38 Illustrations, color; 125 Illustrations, black and white Język: angielski ISBN: 9783031439759