Formal Languages and Compilation

• Κύριοι συγγραφείς: Crespi Reghizzi, Stefano (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Breveglieri, Luca (http://id.loc.gov/vocabulary/relators/aut), Morzenti, Angelo (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 3rd ed. 2019.
• Σειρά: Texts in Computer Science,
• Θέματα: Mathematical logic.; Programming languages (Electronic computers).; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators. This significantly updated and expanded t...

Πίνακας περιεχομένων:

• Introduction
• Syntax
• Finite Automata as Regular Language Recognizers
• Pushdown Automata and Parsing
• Translation Semantics and Static Analysis.