Compilers translate languages which usually consist of syntactical elements that can easily be described in a formal way. Therefore, compilers cannot be treated without considering formal aspects of language definition. However, the theory of formal languages is an independent discipline and we will introduce only as much formalism as we think is necessary to understand compilers. This Chapter may then be thought of as the definition module for this text. Terminology for grammars and languages, as well as the basic analyzing techniques are introduced. Finally, the definition of the programming language PL/0 is given — this language will be used in the following Chapters to explain particular methods.
KeywordsProgramming Language Noun Phrase Formal Language Parse Tree Formal Aspect
Unable to display preview. Download preview PDF.