Hab ne Frage zu Aufgabe 3b

In den Folien ist keinerlei Information darüber zu finden, was genau weakly not taken und strongly not taken bedeutet und wie man die Übergänge daraus ableiten soll. Ich weiß, dass ich unten rechts starte. Doch woher weiß ich nun, ob es nach oben oder links weitergeht???

Leider sind die Folien auch überhaupt nicht annotiert...

Hallo

In der Aufgabe steht T für „taken“ (Sprung wird durchgeführt) und N für „not taken“ (Sprung wird nicht durchgeführt). Dann müssen Sie für T also der Kante folgen die mit „taken“ beschriftet ist und bei N der Kante folgen die mit „not taken“ beschriftet ist.

(Weakly/Strongly) (not) taken sind einfach Namen für die Zustände. Diese sind aber für die Aufgabe selbst nicht wirklich von Bedeutung.

Wie sich der Automat in Aufgabe 3b verhält ist auf Folie 48 im Kapitel 8 erklärt.

Ich hoffe Ihnen hat diese Antwort weiter geholfen.

Mit freundlichen Grüßen
Stefan Hillebrecht