Formal Languages and Compilation

• Main Authors: Crespi Reghizzi, Stefano (Author, 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)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 3rd ed. 2019.
• Series: Texts in Computer Science,
• Subjects: 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...

Table of Contents:

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