GÜ A11 Lösung

Moderator: Moderatoren

Antworten
decidela
Beiträge: 60
Registriert: Mo 25. Jan 2010, 22:14

GÜ A11 Lösung

Beitrag von decidela » Sa 12. Feb 2011, 11:19

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...

old
Beiträge: 186
Registriert: Do 17. Dez 2009, 11:50

Re: GÜ A11 Lösung

Beitrag von old » So 13. Feb 2011, 10:36

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.

Antworten

Zurück zu „Info III“