Deterministischer endlicher Automat

Aus wiki.kgl-ratingen.de
Wechseln zu: Navigation, Suche

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.