DFA

Definition

DFA steht für Deterministic Finite Automaton und bezeichnet einen deterministischen endlichen Automaten in der theoretischen Informatik. Er ist ein mathematisches Modell zur Erkennung regulärer Sprachen.