
It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages, and methods for automatic generation based on the theory of automata. This book deals with the analysis phase of translators for programming languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.


Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems.
