Automatentheorie und formale Sprachen

Willkommen am Fachgebiet für Automatentheorie und Formale Sprachen

Wir interessieren uns für Fragestellungen der Theoretischen Informatik aus den Gebieten Komplexitäts- und Berechenbarkeitstheorie, Formale Sprachen und Grammatiken, Transitionssysteme und Prozessalgebren.

Prof. Dr. Hermann Walter †
Prof. Dr. Hermann Walter †

Publikationen