Buch

---

Ü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)

Deine Buchhandlung

---