Formal Languages and Compilation

Description

This book covers the fundamentals concepts of formal languages and compilation. The book presents the subject in a clear, reader-friendly and simple minimalist way, presenting the principles and methods used for defining the syntax of artificial languages and to implement simple translators, as well as in designing syntax-directed translators. Features: Unifies the concepts and notations used in the various approaches of parsing algorithms; concepts are illustrated with many realistic examples, to ease the understanding of the theory and the transfer to application; theoretical models of automata, transducers and formal grammars are used extensively; algorithms are described in a pseudo-code to avoid the disturbing details of a programming language, yet they are straightforward to convert to executable procedures; problems and solutions are available via an author website. This comprehensive and clearly written text will be welcomed by graduate students as the ideal guide to the fundamentals of this field. Front Matter....Pages 1-11 Introduction....Pages 1-3 Syntax....Pages 1-87 Finite Automata as Regular Language Recognizers....Pages 1-53 Pushdown Automata and Top-down Parsing....Pages 1-55 Bottom-Up and General Parsing....Pages 1-56 Translation Semantics and Static Analysis....Pages 1-94 Back Matter....Pages 1-11