|
Sorry für die späte Rückmeldung!
Also dass 1,2 falsch unmarkiert ist macht Sinn - das ist auch genau das Zustandspärchen welches dann beim Konstruieren Probleme machen würde. Ich verstehe nur nicht wie das Pärchen 3,5 (0-er Tabelle) zu der Markierung von 1,2 führt? Das Pärchen 3,5 liegt ja nicht innerhalb der Menge der möglichen Zustandspaare und sollte deswegen nicht zu einer Markierung führen... Wäre das Pärchen also 5,3 und nicht 3,5 wäre für mich alles schlüssig.
|
|