Automatentheorie - Interaktive Studienpläne der TU Ilmenau

endliche Automaten: NFAs, DFAs, Konstruktionen hierzu (vgl. z. B. Modul "Automaten und Formale Sprachen")

elementare algebraische Strukturen: Ringer, Körper (vgl. z. B. Modul "Grundlagen und Diskrete Strukturen")

Fachkompetenz: Die Studierenden kennen die Grundzüge der Theorie der gewichteten und der nicht-terminierenden Automaten (siehe Inhaltsangabe). Insbesondere kennen sie die Möglichkeiten und Grenzen der automatischen Analyse ihres Verhaltens. Diese Kenntnisse haben sie vorangig in der Vorlesung erworben.

Methodenkompetenz: Die Studierenden sind in der Lage, die behandelten Algorithmen und Konstruktionsverfahren an Beispieleingaben auszuführen (Transformationen gewichteter und nicht-terminierender Automaten). Sie können für vorgegebene Funktionen bzw. omega-Sprachen gewichtete bzw. Büchi-Automaten konstruieren. Sie können Entscheidungs- und Transformationsverfahren für die behandelten Automatenklassen anwenden. Diese Fähigkeiten haben sie vorangig in der Übung und im Selbstudium erworben.

gewichtete Automaten: Beschreibung des Verhaltens, typische Analyseprobleme (Algorithmen bzw. Unentscheidbarkeit)

nicht-terminierende Automaten: Beschreibung des Verhaltens, Büchi-Automaten, Komplementierung

Tafel, Übungsblätter

Droste, Kuske: Weighted Automata (siehe Homepage von Prof. Kuske)

Kuich, Salomaa (Ed.): Semirings, Autoamta, Languages (Springer 1986)

Droste, Kuich, Vogler: Handbook of weighted automata (Springer 2009)