Buch
Automata Theory and Formal Languages
-Fundamental Notions, Theorems, and Techniques-Alberto Pettorossi
58,84
EUR
Lieferzeit 12-13 Tage
Übersicht
Verlag | : | Springer International Publishing |
Buchreihe | : | Undergraduate Topics in Computer Science |
Sprache | : | Englisch |
Erschienen | : | 21. 09. 2022 |
Seiten | : | 280 |
Einband | : | Kartoniert |
Höhe | : | 254 mm |
Breite | : | 178 mm |
ISBN | : | 9783031119644 |
Sprache | : | Englisch |
Illustrationen | : | VIII, 280 p. 91 illus. |
Autorinformation
Alberto Pettorossi is Professor of Theoretical Computer Science at the Engineering Faculty of the University of Rome Tor Vergata (Italy). His current research interests include the development of logic-based techniques for the automatic derivation, transformation, and verification of programs.
Inhaltsverzeichnis
1 Formal Grammars and Languages.- 2 Finite Automata and Regular Grammars.- 3 Pushdown Automata and Context-Free Grammars.- 4 Linear Bounded Automata and Context-Sensitive Grammars.- 5 Turing Machines and Type 0 Grammars.- 6 Decidability and Undecidability in Context-Free Languages.- 7 Supplementary Topics.
Pressestimmen
“This textbook covers a great deal of classical automata theory and formal languages and should be useful in teaching an introductory course on this subject, particularly to students in computer science.” (Roger Villemaire, zbMATH 1527.68002, 2024)