Formal languages and compilation (Q5920706)

This textbook covers the fundamental concepts of formal languages and compilation. It presents a comprehensive selection of topics and is based on rigorous definitions and algorithms, illustrated by many motivating examples, with a focus on the importance of combining theoretical concepts with practical applications. It provides the essential principles and methods used for defining the syntax of artificial languages and implementing simple translators as well as for designing syntax-directed translators. Readers require some background in programming, although detailed knowledge of a specific programming language is not necessary. They should also be somewhat familiar with basic set theory, algebra and logic.