51,15 €
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Topics and features:Provides theorems, examples, and exercises to clarify automata-languages correspondences
Presents some fundamental techniques for parsing both regular and context-free languages
Classifies subclasses of decidable problems, avoiding focus on the theory of complexity
Examines finite-automata minimalization and characterization of their behavior using regular expressions
Illustrates how to derive grammars of context-free languages in Chomsky and Greibach normal forms
Offers supplementary material on counter machines, stack automata, and abstract language families
This highly useful, varied text/reference is suitable for undergraduate and graduatecourses on automata theory and formal languages, and assumes no prior exposure to these topics nor any training in mathematics or logic.
Alberto Pettorossi is professor of theoretical computer science at the University of Rome Tor Vergata, Rome, Italy.
Topics and features:Provides theorems, examples, and exercises to clarify automata-languages correspondences
Presents some fundamental techniques for parsing both regular and context-free languages
Classifies subclasses of decidable problems, avoiding focus on the theory of complexity
Examines finite-automata minimalization and characterization of their behavior using regular expressions
Illustrates how to derive grammars of context-free languages in Chomsky and Greibach normal forms
Offers supplementary material on counter machines, stack automata, and abstract language families
This highly useful, varied text/reference is suitable for undergraduate and graduatecourses on automata theory and formal languages, and assumes no prior exposure to these topics nor any training in mathematics or logic.
Alberto Pettorossi is professor of theoretical computer science at the University of Rome Tor Vergata, Rome, Italy.
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.
Assumes no prior exposure to these topics nor any training in mathematics or logic
Presents fundamental techniques for parsing both regular and context-free languages
Offers helpful supplementary material on other classes of machines and languages
Erscheinungsjahr: | 2022 |
---|---|
Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
viii
280 S. 91 s/w Illustr. 280 p. 91 illus. |
ISBN-13: | 9783031119644 |
ISBN-10: | 3031119649 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: | Pettorossi, Alberto |
Auflage: | 1st edition 2022 |
Hersteller: |
Springer Nature Switzerland
Springer International Publishing Springer International Publishing AG |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 254 x 178 x 15 mm |
Von/Mit: | Alberto Pettorossi |
Erscheinungsdatum: | 13.08.2022 |
Gewicht: | 0,612 kg |