Seiteninhalt
Programmiersprachen und Compiler
(Formale Sprachen und Automatentheorie)
Beschreibung der Forschungsgebiete
Die Forschungsgebiete der Professur für Programmiersprachen und Compiler liegen schwerpunktmäßig in folgenden Bereichen:
- Automatentheorie und Formale Sprachen
- Beschreibungskomplexität bei Formalen Strukturen
- Grundlagen der Programmiersprachen und Compiler
Aktuelle Projekte:
- Beschreibungskomplexität von Grammatiksystemen
- Beschreibungskomplexität von Zellularautomaten
- Effiziente Sprachdarstellungen durch DFA mit verschiedenem Zuverlässigkeitsgrad
- Komplexität von Systemverifikationen
- Mehrdeutigkeit und Nichtdeterminismus bei Büchi Automaten
- Minimierung von endlichen Automaten
- Alternative Grammatikmodelle für natüliche Sprachen
- Beschreibungskomplexität und zuverlässige Software
- Beschreibungskomplexität von endlichen Automaten mit mehreren Startzuständen
- Dynamische Konfliktbeseitigung in deterministischen "Top Down"-Parsern
- Kellerautomaten und Aspekte ihrer Beschreibungskomplexität
- Lookahead-Spektren von LL(k)-Grammatiken und Beschreibungskomplexität
- Maße für den Nichtdeterminismus bei Pushdown-Automaten
- Nichtdeterminismus und Mehrdeutigkeit in Pushdown-Automaten
- Stochastische Endliche Automaten und ihre Beschreibungskomplexität
- Verzögerung der Fehlererkennung bei Parsern und Beschreibungskomplexität
Publikationen von Mitarbeitern und
ehemaligen Mitarbeitern des Lehrstuhls seit 1997
Forschungsprojekte
geändert am 16. Oktober 2008 E-Mail: Webmasterwaschbue@em.uni-frankfurt.de
| | Zur Navigationshilfe
Cross-Navigation
KONTAKT
Professur für Programmiersprachen und Compiler
Institut für Informatik
Fachbereich 12
Goethe-Universität
Postfach 11 19 32
D-60054 Frankfurt am Main
Sekretariat
Zimmer 116
Robert-Mayer-Str. 11-15
60325 Frankfurt am Main
Tel.: (069) / 798 28119
Fax: (069) / 798 28334
Institut für Informatik
Fachbereich 12
Goethe-Universität
Postfach 11 19 32
D-60054 Frankfurt am Main
Sekretariat
Zimmer 116
Robert-Mayer-Str. 11-15
60325 Frankfurt am Main
Tel.: (069) / 798 28119
Fax: (069) / 798 28334
Zur Navigationshilfe