Get 40% off select Statistics books or choose from thousands of Archive eBooks at 9.99 each!

Texts in Computer Science

Formal Languages and Compilation

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

Free Preview
  • Presents an introduction to the fundamentals of formal language theory and formal methods, compiler and language design, and natural language processing
  • Includes many illustrative examples, and supplies a large set of exercises with solutions at an associated website
  • Updated third edition featuring new material on string matching, extended BNF grammars, parallel parsing, and visibly pushdown models
  •                  
see more benefits

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-030-04879-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.99
price for USA in USD
  • ISBN 978-3-030-04878-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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 third edition has been enhanced with additional coverage of regular expressions, visibly pushdown languages, bottom-up and top-down deterministic parsing algorithms, and new grammar models.

Topics and features: describes the principles and methods used in designing syntax-directed applications such as parsing and regular expression matching; covers translations, semantic functions (attribute grammars), and static program analysis by data flow equations; introduces an efficient method for string matching and parsing suitable for ambiguous regular expressions (NEW); presents a focus on extended BNF grammars with their general parser and with LR(1) and LL(1) parsers (NEW); introduces a parallel parsing algorithm that exploits multiple processing threads to speed up syntax analysis of large files; discusses recent formal models of input-driven automata and languages (NEW); includes extensive use of theoretical models of automata, transducers and formal grammars, and describes all algorithms in pseudocode; contains numerous illustrative examples, and supplies a large set of exercises with solutions at an associated website.

Advanced undergraduate and graduate students of computer science will find this reader-friendly textbook to be an invaluable guide to the essential concepts of syntax-directed compilation. The fundamental paradigms of language structures are elegantly explained in terms of the underlying theory, without requiring the use of software tools or knowledge of implementation, and through algorithms simple enough to be practiced by paper and pencil.

About the authors

The authors are Professors (Dr. Stefano Crespi Reghizzi is Emeritus Professor) of Computer Engineering at the Politecnico di Milano, Italy.

Table of contents (5 chapters)

Table of contents (5 chapters)

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-030-04879-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.99
price for USA in USD
  • ISBN 978-3-030-04878-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Languages and Compilation
Authors
Series Title
Texts in Computer Science
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-04879-2
DOI
10.1007/978-3-030-04879-2
Hardcover ISBN
978-3-030-04878-5
Series ISSN
1868-0941
Edition Number
3
Number of Pages
XIII, 499
Number of Illustrations
486 b/w illustrations
Topics