Endlicher Automat

Natural & Formal Sciences Dictionary
Mathematisches Berechnungsmodell, bestehend aus einer endlichen Menge von Zuständen, einem Eingabealphabet, Übergangsrelationen, einem Startzustand und einem oder mehreren akzeptierenden Zuständen; verwendet zur Erkennung regulärer Sprachen. Varianten umfassen deterministische (DFA) und nichtdeterministische endliche Automaten (NFA).