Deterministischer endlicher Automat
Aus wiki.kgl-ratingen.de
Version vom 27. November 2015, 13:32 Uhr von Louis.becker (Diskussion | Beiträge)
Definition
Ein deterministischer endlicher Automat ist ein endlicher Automat , der unter Eingabe eines Zeichens seines Eingabealphabets ( den mögl. Eingaben ) von einem Zustand , in dem er sich befindet , in einen eindeutig bestimmten Folgezustand wechselt.
Funktion Ein DEA überprüft, ob ein Wort Element der Sprache ist.