Universität Ulm ,
Fakultät für Informatik
, Abteilung Theoretische Informatik
Ankündigung einer Lehrveranstaltung für das Hauptstudium im SS97
TITEL
Automatentheorie und Syntaxanalyse
TYP
Vorlesung (2V)
Zuordnung zu Kernfächern oder Vertiefungsgebieten:
Vertiefungsgebiet: Theoretische Informatik
Veranstalter
Dr. R. Schuler
Inhalt
Formale Sprachen können durch Grammatiken oder Automaten beschrieben werden. In der Vorlesung werden Methoden zur Syntaxanalyse kontextfreier Grammatiken vorgestellt, wobei insbesondere auf die Effizienz der Verfahren eingegangen wird. Den Schwerpunkt bilden deterministische Verfahren zur Top-down bzw. Bottom-up Analyse.
Voraussetzungen
Vordiplom
Literatur
- György E. Révész, Introduction to formal languages, McGraw Hill, 1985
- U. Kastens, Übersetzer, (Folien, Vorlesung Sommer Semester 1996), Paderborn, 1996
- M. Kutylowski, Formale Sprachen (Vorlesungsskript, Sommer Semester 1994), Paderborn, 1994
- K.J. Lange, H. Fernau und B. Jenner, Formale Sprachen (Vorlesungsskript, Sommer Semester 1995),
Kapitel 1-4,
Kapitel 5,
Tübingen, 1995
- O. Mayer, Syntaxanalyse, Bibliographisches Institut, 1978
- U. Schöning, Theoretische Informatik-kurzgefaßt, Spektrum Verlag, 2. Auflage, 1995
- R. Wilhelm und D. Maurer, Übersetzerbau, Springer Verlag, 2. Auflage, 1997
- M. E. Wong, Earley's Algorithm: Proof of time bounds for recognizing unambiquous and LR(k) grammars,1995