Nichtdetirministische, endliche Zustandsautomaten (NEA)


(SkriptAtfsEckNr1, S. 19)

a
Unterschied zum DetEndlAutomaten DEA
a



a
Beispiel
a

Ein nichtdeterministischer, endlicher Automat soll die Folge SOS erkennen.


 (image: http://tnotes.de/images/ATFS_NEA.png)


Test mit der Folge ASOOSSOS


 (image: http://tnotes.de/images/ATFS_NEA_Auswert.png)


Das Diagramm zeigt den Verlauf der Zustände und die noch verbleibenden Zeichen der Folge an. Wie man gut erkennen kann nimmt der NEA gelegentlich zwei Zustände gleichzeitig an und verwirft auch Zustände, wenn sie in einer Sackgasse (orange markiert) enden.



Siehe auch AutomatentheorieUndFormaleSprachen
Valid XHTML :: Valid CSS: :: Powered by WikkaWiki