Informatik

Was ist ein nichtdeterministischer endlicher Automat?

Ein NFA darf mehrere mögliche Folgezustände für denselben Zustand und dasselbe Symbol haben.

Ein Wort wird akzeptiert, wenn mindestens ein möglicher Lauf in einem Endzustand endet.

Beispiel

NFA für die Sprache $\{a,ab\}$: