Benutzer:Centic/Übersetzerbau

Kurs Übersetzerbau

1 Einführung

Ein Übersetzer (engl. Compiler) erzeugt aus einer Sprache A ein Zielprogramm in einer Sprache B. Die Syntax von A wird durch eine Grammatik definiert.

1.2 Übersetzungsphasen

Quellprogramm -> Lexikalische Analyse -> Syntaxanalyse -> Semantische Analyse -> Erzeugen von Zwischencode -> Codeoptimierung -> Codeerzeugung -> Zielprogramm

1.3 Die Systemumgebung des Compilers

Vorform des Quellprogramms -> Präprozessor -> Quellprogramm -> Compiler -> Zielprogramm in Assemblersprache -> Assembler -> Programm in verschiebbarem Maschinencode -> Lader/Binder (mithilfe anderer Programmteile, Programme aus Bibliotheken in verschiebbarem Maschinencode) -> Programm in absolutem Maschinencode

Literatur

• Güting, R.H., und M. Erwig, Übersetzerbau: Techniken, Werkzeuge, Anwendungen. Springer-Verlag, Berlin Heidelberg 1999. 398 S., ISBN 3-540-65389-9

• Aho, A.V., R. Sethi und J.D. Ullman, Compilers. Principles, Techniques, and Tools. Addison-Wesley, Reading, 1986.
• Parsons, T.W., Introduction to Compiler Construction. Computer Science Press, New York, 1992.
• Wilhelm, R., und D. Maurer, Übersetzerbau. Theorie, Konstruktion, Generierung. 2. Aufl., Springer-Verlag, Berlin, 1997.
• Waite, W.M. und G. Goos, Compiler Construction, Springer-Verlag, Berlin, 1984.
• Sudkamp, T.A., Languages and Machines. Addison-Wesley, Reading, 1988.

Links

• Compiler, Scanner, Parser, lex (Informatik), Flex, yacc, Compilerbau, formale Grammatik(Grammatik), Formale Sprache, Syntax, Semantik, kontextfreie Grammatik, lexikalische Analyse, Lexikalischer Scanner, Quellcode, Imperative Programmierung, Funktionale Programmierung, Abstrakte Maschine, Regulärer Ausdruck, Zustandsdiagramm, Token, Syntaxdiagramm, Syntaxbaum, Top-Down- und Bottom-Up-Design, Top-down und Bottom-up

• Exkurse:Bewertungsfunktion (Formale Sprachen), Lexikalisch-funktionale Grammatik, Logische Programmierung