Akzeptierende Zustände eines mod5-Automaten?
-
Hi Leute!
Hier hab ich aus einer Sprache einen Automaten erstellt. Man sieht alles auf diesem Bild: http://imageshack.us/photo/my-images/6/78418736.jpg/
Nun meine Frage: Wie erkenne ich die akzeptierenden Zustände aus obiger Tabelle?
-
Na, was bedeuten denn Deine Zustände? Der Automat befindet sich nach dem Einlesen von w ist Zustand q_i, genau dann wenn...?
-
Die formale Definition eines Automaten ist ein 5-Tupel und die Menge der akzeptierenden Zustaende muss explizit angegeben werden.
-
Diese Tabelle fällt einfach vom Himmel. Daran kannst du nicht den akzeptierenden Zustand ablesen. Die Antwort auf die Frage ergibt sich doch, wenn man weiß, wie man seine Zustände gewählt hat und woher die Tabelle eigentlich kommt. Wie bist du denn überhaupt auf die 5 Zustände und mit diesen Übergängen gekommen? Es ist ja auch alles richtig soweit. Nur kann ich nicht verstehen, wie man es schafft, soweit zu kommen, ohne den akzeptierenden Zustand zu kennen.
