Prinzipielle Fragestellungen zu:
Formale Sprachen und Compiler ¨ Spezifikation und
Analyse von Computersprachen
? Wie kann/muss eine Grammatik für eine (Programmier-)sprache
aussehen?
? Wie kann die Zugehörigkeit eines „Textes“ (Satz, Wort, ...) zu
der durch die Grammatik definierten Sprache überprüft werden?
? Wie kann ein Programm analysiert werden (® Parsing), um die
strukturelle Analyse durch den Compiler zu ermöglichen?
? Wie können Mehrdeutigkeiten bestimmt werden mit dem Ziel
einer eindeutigen Analyse (eindeutige Semantik), deren
Ergebnis (ausführbarer Code) dann auf einem Rechner
ausgeführt werden kann?