NFA

Definition

Ein Nondeterministic Finite Automaton ist ein nichtdeterministischer endlicher Automat, der in der theoretischen Informatik zur Erkennung regulärer Sprachen eingesetzt wird.