DEA

Definition

Ein Deterministischer Endlicher Automat ist ein theoretisches Berechnungsmodell der Informatik, bei dem jeder Zustand bei einer gegebenen Eingabe genau einen Folgezustand hat.