NEA
Nichtdeterministischer Endlicher Automat (NFA)
Definition
Ein theoretisches Modell der Informatik, das im Gegensatz zum deterministischen endlichen Automaten bei einem gegebenen Zustand und Eingabezeichen mehrere mögliche Folgezustände zulässt. NEAs sind äquivalent zu deterministischen endlichen Automaten in ihrer Ausdrucksstärke, können aber kompaktere Darstellungen regulärer Sprachen bieten.