Laut Herr Kempf ist die Lösung im L2P falsch!
Hat jemand die richtige Lösung und könnte die posten, also den Überdeckbarkeitsbaum-
Im L2P wird sich bis Montag wahrscheinlich seitens der Assistenten nix mehr tun...
GÜ A11 Lösung
Moderator: Moderatoren
Re: GÜ A11 Lösung
Hi,
an der stelle M0->t2->t4->t1 ist nen fehler.
in der Lösung steht an der stelle glaube ich 10w0.
Das ist aber falsch.
Nachdem t1 gefeuert hat, steht an 4. stelle noch eine 1 drinne. Dann schaut man in M0 und sieht, dass man an jeder stelle größer gleich und an stelle 3 und 4 sogar größer ist. -> w.
Also muss an der stelle M0 -> t2 -> t4-> t1 ein (10ww) stehen.
Der rechte teilsbaum über t3 verändert sich damit nicht.
Der linke über t2 wird zu 01ww, woraus dann über t1 ein 10ww sowie über t3,t4 ein 01ww wird. Dieser "linke" Teilbaum ist damit abgearbeitet, da die Zustände schon vorher auftauchten.
an der stelle M0->t2->t4->t1 ist nen fehler.
in der Lösung steht an der stelle glaube ich 10w0.
Das ist aber falsch.
Nachdem t1 gefeuert hat, steht an 4. stelle noch eine 1 drinne. Dann schaut man in M0 und sieht, dass man an jeder stelle größer gleich und an stelle 3 und 4 sogar größer ist. -> w.
Also muss an der stelle M0 -> t2 -> t4-> t1 ein (10ww) stehen.
Der rechte teilsbaum über t3 verändert sich damit nicht.
Der linke über t2 wird zu 01ww, woraus dann über t1 ein 10ww sowie über t3,t4 ein 01ww wird. Dieser "linke" Teilbaum ist damit abgearbeitet, da die Zustände schon vorher auftauchten.