Warum fehlen die Zustände s2 und s3 ?

Question

Heyho,

warum wird denn in der 1b) bei der Zustandsüberführungstabelle die Zustände s2 und s3 nicht mit aufgeommen?

Über Antworten wäre ich dankbar!

Gruß

 

Answer 1

Hallo,

das liegt an dem Algorithmus, ich versuche es mal umgangssprachlich zu erklären. Du bildest die Zustandsüberführungstabelle, indem du mit dem Startzustand anfängst, und ausgehend von allen möglichen Eingaben die erreichbaren Zustände in die Zellen rechts daneben schreibst.

Alle noch nicht schon links vorhandenen Zustandsmengen schreibst du nun nach links. In dem Fall wurden diese Zustände jedoch nicht direkt unter den Startzustand geschrieben, sondern 3 Zellen tiefer, das mag vielleicht irritieren. 

Ausgehend von s(o) steht also in der Tabelle noch {s(2),s(3),s(4)} und die leere Menge.

Nun muss also {s(2),s(3),s(4)} näher betrachtet werden, also alle erreichbaren Zustände von allen diesen Zuständen. Daraus ergeben sich die neuen Zustandsmengen {s(4)} und {s(1)}. Diese werden nun betrachtet und so weiter.

Die Zustände s2 und s3 werden jedoch nie "alleine" erreicht, deshalb stehen sie auch nicht in der Tabelle. Sie müssten nur in der Tabelle auf der linken Seite alleine vorkommen, wenn sie beispielsweise von Zustand s(4) direkt und alleine erreicht werden könnten. Dies ist jedoch nicht der Fall.

Vielleicht hilft dir auch Tutorium 2 Folie 6 weiter, dort stehen dann auch nur die Zustände als gesamte Menge und nicht noch aufgeteilt in der Tabelle.

Ich hoffe, ich konnte dir helfen! Viel Erfolg noch und viele Grüße.

Felix (Tutor)