Formal Languages and Compilation

• Main Author: Crespi Reghizzi, Stefano (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2009.
• Series: Texts in Computer Science,
• Subjects: Computer science.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.

Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying *theory* that allows students to acquire the fundamental paradigms of language structures, to avoid pitfalls such as ambiguity, and to adequately map structu...

Table of Contents:

• Syntax
• Finite Automata as Regular Language Recognizers
• Pushdown Automata and Top-down Parsing
• Bottom-Up and General Parsing
• Translation Semantics and Static Analysis.