Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove
(Bog, Hardback, Engelsk)
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Forfatter | Marco T. Morazan |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2024 ed. |
| Udgivelsesdato | 19-12-2023 |
| Første udgivelsesår | 2023 |
| Serie | Texts in Computer Science |
| Illustrationer | 38 Illustrations, color; 125 Illustrations, black and white |
| Originalsprog | Switzerland |
| Sideantal | 524 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 524 pages, 38 Illustrations, color; 125 Illustrations, black and white |
| Mål | 241 x 164 x 116 |
| ISBN-13 / EAN-13 | 9783031439728 |