Formale Sprachen und Automaten bilden die Grundlage, um Eingaben von
NutzerInnen zu analysieren, angefangen bei Adressen in Web-Formularen
bis hin zu komplexem Quelltext in Java. Diese dreiteilige Kursreihe
liefert das theoretische Fundament. Er zeigt auch die Grenzen von
Maschinenmodellen und von Berechenbarkeit im Allgemeinen. Dieser erste
Kurs behandelt die Grundlagen, angefangen bei unterschiedlichen Typen
von Automaten und bei regulären Ausdrücken.
Video-Player wird geladen.
Aktueller Zeitpunkt 0:00
/
Dauer 0:00
Geladen: 0%
Streamtyp LIVE
Verbleibende Zeit -0:00
1x
2x
1.75x
1.5x
1.25x
1x, ausgewählt
0.75x
0.5x
Kapitel
Beschreibungen aus, ausgewählt
Untertiteleinstellungen, öffnet Einstellungen für Untertitel
Untertitel aus, ausgewählt
This is a modal window.
Anfang des Dialogfensters. Esc bricht ab und schließt das Fenster.
Ende des Dialogfensters.
Was können Sie in diesem Kurs lernen?
Mit der Hilfe dieses Kurses sollen diese Lernziele ermöglicht werden:
Du kannst einfache reguläre Sprachen durch reguläre Ausdrücke und endliche Automaten beschreiben.
Du hast ein Verständnis von Nichtdeterminismus und kannst Nichtdeterminismus in endlichen Automaten geeignet einsetzen.
Du kannst grundlegende Konstruktionen für endliche Automaten durchführen.
Du kannst neue Konstruktion für endliche Automaten entwickeln.
Du kennst die Grenzen regulärer Sprachen und kannst intuitiv bestimmen, ob eine Sprache regulär ist.
Du kannst beweisen, dass eine Sprache nicht regulär ist.
Gliederung
Organisation
Motivation
Endliche Automaten – Determinismus und Nichtdeterminismus
Endliche Automaten – Abschlusseigenschaften
Reguläre Ausdrücke
Endliche Automaten – Minimierung
Entscheidbare Eigenschaften und das Pumping-Lemma
Autoren*innen
Prof. Dr. Andreas Schäfer
Andreas Schäfer promovierte 2007 an der Carl von Ossietzky University in Oldenburg.
Es
arbeitete dann für fünf Jahre beim Europäischen Patentbüro. Seit 2012
ist er Professor der Informatik an der Technischen Hochschule in Lübeck.
Seine Interessenschwerpunkte umfassen Automatentheorie, Logik und
formale Methoden.
Teilnahmebestätigung
In diesem Kurs kannst du Badges und ein Weiterbildungszertifikat erhalten.