Skip to main content
SpringerLink
Log in
Book cover

Formal Languages and Compilation

  • Textbook
  • © 2013

Overview

Authors:
  1. Stefano Crespi Reghizzi

    1. Diparimento Elettronica e Informazione, Politecnico di Milano, Milano, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Luca Breveglieri

    1. Dipartimento Elettronica e Informazione, Politecnico di Milano, Milano, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Angelo Morzenti

    1. Dipartimento Elettronica e Informazione, Politecnico di Milano, Milano, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Fully revised and expanded new edition
  • Supplies supplementary teaching tools at an associated website
  • Now presents a novel conceptual approach to parsing algorithms that applies to extended BNF grammars, together with a parallel parsing algorithm
  • Includes supplementary material: sn.pub/extras

Part of the book series: Texts in Computer Science (TCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Introduction

    • Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
    Pages 1-3

  3. Syntax

    • Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
    Pages 5-90

  4. Finite Automata as Regular Language Recognizers

    • Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
    Pages 91-140

  5. Pushdown Automata and Parsing

    • Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
    Pages 141-291

  6. Translation Semantics and Static Analysis

    • Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
    Pages 293-387

  7. Back Matter

    Pages 389-399
    Download chapter PDF
Back to top

About this book

This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st edition, this versatile textbook describes the essential principles and methods used for defining the syntax of artificial languages, and for designing efficient parsing algorithms and syntax-directed translators with semantic attributes. Features: presents a novel conceptual approach to parsing algorithms that applies to extended BNF grammars, together with a parallel parsing algorithm (NEW); supplies supplementary teaching tools at an associated website; systematically discusses ambiguous forms, allowing readers to avoid pitfalls; describes all algorithms in pseudocode; makes extensive usage of theoretical models of automata, transducers and formal grammars; includes concise coverage of algorithms for processing regular expressions and finite automata; introduces static program analysis based on flow equations.

Reviews

From the book reviews:

“The book provides an in-depth introduction to the foundations of compiler construction with a strong emphasis on the theory of formal languages. It is well suited for a basic course on formal languages (covering the regular and the context-free languages) and an advanced course on compiler construction. The presentation is mathematically exact and thus necessarily formal, but the authors make every effort to illustrate the concepts and algorithms on well-selected examples.” (Andreas Maletti, zbMATH, Vol. 1298, 2014)

Authors and Affiliations

  • Diparimento Elettronica e Informazione, Politecnico di Milano, Milano, Italy

    Stefano Crespi Reghizzi

  • Dipartimento Elettronica e Informazione, Politecnico di Milano, Milano, Italy

    Luca Breveglieri, Angelo Morzenti

About the authors

Dr. Stefano Crespi Reghizzi and Dr. Angelo Morzenti are Full Professors of Computer Engineering in the Department of Electronics and Computer Science at the Politecnico di Milano. Dr. Luca Breveglieri is an Associate Professor at the same institution.

Bibliographic Information

  • Book Title: Formal Languages and Compilation

  • Authors: Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

  • Series Title: Texts in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4471-5514-0

  • Publisher: Springer London

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag London 2013

  • Softcover ISBN: 978-1-4471-6868-3Published: 23 August 2016

  • eBook ISBN: 978-1-4471-5514-0Published: 16 October 2013

  • Series ISSN: 1868-0941

  • Series E-ISSN: 1868-095X

  • Edition Number: 2

  • Number of Pages: XII, 399

  • Number of Illustrations: 170 b/w illustrations, 1 illustrations in colour

  • Topics: Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation