Deterministische Endliche Automaten

Endliche Automaten sind ein einfaches Maschinenmodell zur Lösung von Entscheidungsproblemen: Der Automat wechselt seinen aktuellen Zustand in Abhängigkeit vom vorangegangenen Zustand und dem nächsten eingelesenen Zeichen. Ob er die Eingabe letztlich akzeptiert, hängt von dem Zustand ab, in dem sich der Automat befindet, wenn die Eingabe komplett gelesen worden ist. In diesem Video geht es um Deterministische Endliche Automaten (DEA).

(Das Video wurde noch einmal grundlegend überarbeitet und neu hochgeladen.)

0:00 Was ist ein endlicher Automat?
4:26 Definition DEA
6:36 Beispiel für einen Automaten
9:49 Automat akzeptiert Strings
13:05 Automat als Graph
16:09 Beispiel: ein Automat in Aktion
22:27 Übergangsfunktionen mit Lücken
26:46 Quiz mit einfachen Automaten
33:17 warum mehrere Endzustände?
36:22 nicht-deterministische Automaten