Unterscheid DEA und NEA

Ein nichtdeterministischer endlicher Automat (NEAenglisch nondeterministic finite automatonNFA) ist ein endlicher Automat, bei dem es für den Zustandsübergang mehrere gleichwertige Möglichkeiten gibt. 

Ein deterministischer endlicher Automat (DEAenglisch deterministic finite state machine oder deterministic finite automatonDFA) ist ein endlicher Automat, der unter Eingabe eines Zeichens seines Eingabealphabetes (den möglichen Eingaben) von einem Zustand, in dem er sich befindet, in einen eindeutig bestimmten Folgezustand wechselt. Von jedem (Final-)Zustand  muss für jedes Zeichen des Eingabealphabets  ein Übergang in einen Folgezustand existieren.[1] 


Unterschiede

Im Unterschied zum deterministischen endlichen Automaten sind die Möglichkeiten nicht eindeutig, dem Automaten ist also nicht vorgegeben, welchen Übergang er zu wählen hat.

Er unterscheidet sich darin von nichtdeterministischen endlichen Automaten, deren Zustandswechsel sich nicht immer deterministisch ereignen müssen.

Kommentare

Beliebte Posts aus diesem Blog

Formale Sprachen

Beispiel Stack und Queue