Formal Languages and Compilation

• Main Authors: Crespi Reghizzi, Stefano (Author), Breveglieri, Luca (Author), Morzenti, Angelo (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Edition: 2nd ed. 2013.
• Series: Texts in Computer Science,
• Subjects: Computer science.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.

This fully revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying Formal Languages and Compilation. Retaining the reader-friendly, minimalist style of the first edition, this uniquely versatile textbook describes the essential principles and meth...

Table of Contents:

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