Automatenlernen (WS 2025/26)

Haben Sie sich schon immer gefragt, wie man reale Systeme am besten verhaltensgleich modelliert? In dieser Veranstaltung soll es um genau diese Frage gehen. Aus den Grundlagenveranstaltungen sind dabei endliche Automaten (DEA/NEA/Mealy- oder auch Moore-Automaten) als formales Modell für verschiedene Probleme vom Übersetzerbau bis hin zur Verifikation reaktiver Systeme bekannt. Wie ist es jetzt möglich ein formales Modell aus realen Daten oder Systemen zu entwickeln, das diesen auch gleicht? In dieser Veranstaltung werden wir konkrete Algorithmen wie L^*, TTT, KV oder auch L^# zum exakten „Lernen“ besprechen und uns überlegen wie man solche Systeme sinnvoll approximativ inferiert.