Hier gibt es jetzt die Auflösung und die Diskussion dazu,
das ist etwas, was wir in der Veranstaltung interaktiv machen,
trotzdem nochmal als Video vorab sozusagen,
wenn Sie so wollen, meine Musterlösung.
Ich hatte ja schon gesagt, dass diese Musterlösung hier
eine Quelle hat, aus einem Buch über Automatentheorie.
Der wesentliche Punkt ist, zu erkennen,
das Wort Automatentheorie kann Ihnen schon einen Hinweis geben.
Es geht um ein zustandsbasiertes System. Also insofern sollten wir immer,
ist die brennende Idee, die Startidee ein mit Zuständen zu arbeiten.
Welche Zustände gibt es, welche Zustandsfolger? Und da könnte man
auch sagen, da gibt es legale und nicht legale Zustandsübergänge.
Und wenn wir das darstellen, ist das schon mal gut.
Wenn wir uns jetzt angucken, Zustände für was brauchen wir denn?
Brauchen wir Zustand für den Mann, Wolf Ziege, Kohlkopf?
Oder brauchen wir einen Zustand für eines Ufer, anderes Uferboot?
Wenn wir uns die Attributen und Relationen anschauen, sehen wir,
dass es ja häufig um Sachen geht, die mit einem Ufer,
anderen Ufer und Boot zu tun haben.
Das heißt,
wir sollten die Zustände immer für die Belegung machen
Das ist jetzt auch die genaue Idee, dass man Zustände bildet,
die abbilden, was diese drei Sachen, nämlich Ufer,
anderes Ufer, Flüss beziehungsweise Kahn, denn gerade für eine Konstellation haben.
Und daraus bilden wir ein Modell, ein Zustandsmodell.
Und das ist eigentlich die kreative Leistung. Wie gesagt,
die Autoren des Buches haben das so entwickelt, dass ich hier zitiere.
Und vielleicht kommt der eine oder andere von ihnen auch auf sowas ähnliches.
Ja, und zwar machen wir, inwiew wir wir jetzt
sozusagen hier so ein Tubel aus Zustand und Folgezustand.
Dieses Paar. Ja, das entwickeln wir und der Folgezustand
, der darf dann gültig, ungültig sein.
Und was wir, das Paar, was wir hier verwenden,
was die durch die Zustände durchläuft, das ist jeweils linkes Ufer, rechtes Ufer.
Also ich habe hier nicht so Zustände, wie es im Zustandstiakramm,
man kennt immer einen Blogs und ich habe zwei Blöcke gebildet,
nämlich immer, eigentlich das Ufer linkes Ufer gleichzeitig.
Ja, also zum Beispiel hier,
das ist der Zustand, wo es losgeht, Mann,
Wolf, Kohl, Ziege und Kohlkopf,
hier drüben steht die Auflösung nochmal,
sind auf dem einen Ufer,
auf dem anderen Ufer ist nichts
Ja, dann gibt es einen Zustandsübergang, einen Pfeil.
Das ist die Überfahrt mit dem Boot und da steht auch treiben,
wer im Boot gerade ist. Also hier gibt es die Möglichkeit,
es ist ja auf jeden Fall erlaubt, der Mensch kann allein darüber fahren.
Und was der Volkerzustand wäre aber, Wolf, Ziege,
Kurkopf sind auf dem Einrufer,
der Mensch ist auf dem anderen Ufer, der kann nicht verhindern,
dass die Ziege den Kohlkopf frisst und der kann nicht verhindern,
dass der Wolf, der Wolf die Ziege frisst.
Also deswegen ungültiger Zustand, ich habe das gleich rot gemalt
und rot ist deswegen auch der Zustandsübergang,
weil der verboten ist
Wir haben keinen erlaubten Zustand. So,
und hier unten gibt es auch nochmal, also Zustand,
Zustand ist links,
Folgezustand ist rechts und hier gibt es zwei Völkerzustände,
nämlich er könnte auch noch die Ziege mitnehmen, Goat.
Ja gut, das ist die Ziege, die könnt ihr auch noch mitnehmen.
Also im Boot sind Man and Goat und da bleibt auf
der anderen Seite der Wolf mit dem Kohlkopf zurück übrig.
Den Wolf schmeckt, den der Kohlkopf nicht,
umgekehrt passiert auch nichts. Also das ist zuständig,
dass es erlaubt, dass ein kultiger Zustand hinterher ist
der Mann mit der Ziege
da drüben
Ob uns das wirklich was bringt, wird die Zubeweiterung,
wenn die weiteren Schritte zeigen.
Aber hier geht sie uns zu uns. Und das ist jetzt
auch schon das ganz Wesentliche. Es geht uns darum,
diese Situation, die Aufgabe so in einem Modell auszudrücken.
Und das ist auch der springende Punkt, dass man das
gut lösen kann und dass man es prüfen kann.
Also wir können es anhand dieser Sache hier prüfen,
okay, wer ist denn da drüben?
Sind die Regeln eingehalten? Wer ist denn im Boot?
Sind die Regeln eingehalten? Und natürlich kann man das vergleichen und dann sagen,
ja, stimmt, die einzige Änderung war hier,
M ist auf der anderen Seite.
So, soweit die eigentliche Idee und jetzt lassen Sie uns
das als Schritte durchgehen.
Also wir fangen damit an
Dass also, wie schon eben gesagt, mein Wolf,
Kohl und Ziegel,
die kommen an das linke Ufer und da ist ein Boot.
So, und was können sie machen? Tatsächlich gibt es
mehr als eine Möglichkeit. Es gibt erstmal die Möglichkeit,
der Mann mit dem Wolf fährt rüber. Ja,
dann ist der hinterher am anderen Ufer und die Ziege und der Kurkopf bleiben zusammen.
Ist nicht erlaubt. Rot. Ja, also der Zustandsübergang ist erhot.
Der Mensch fährt alleine rüber, dann bleiben Wolfziege,
Kurkopf zurück, das war, das wir eben schon hatten.
Geht auch nicht, die fressen sich. Leider nicht erlaubt
. Oder der Mann mit dem Kurkopf fährt rüber,
da bleiben aber Wolf und Ziege übrig
Geht auch nicht, auch rot, ist nicht.
Aber wir haben noch eine Lösung, der Mann fährt mit der Ziege rüber.
Gut, die Ziege, vielleicht sollte man es hier reinschreiben.
Das ist erlaubt. Und deswegen ist das Ding auch schwarz.
Und wunderbar, mit dem machen wir weiter.
Die anderen sind ja nicht erlaubt. So, wir gucken
uns an, wie geht es denn davon da aus weiter?
Hier gibt es eigentlich nur noch die Möglichkeit,
dass der Mann allein zurückfährt,
weil wenn er die Ziege wieder mit zurücknehmen würde,
das wäre ja irgendwie ein bisschen sinnlos.
Und deswegen habe ich das hier auch gar nicht aufgeschrieben.
Und ja, das Boot fährt nicht alleine,
deswegen muss der Mann wieder zurück und dann ist die Konstellation
danach die.
Also hier gibt es
nur den einen Zustandsübergang
Wenn wir mal die sinnlosen weglassen. Okay, weiter geht's.
Wir haben die Situation, Mann und Wolf und Ziege sind hier drüben,
dann gibt es die Möglichkeiten, es gibt zwei.
Gut, es gibt auch noch die Möglichkeit, der Mann fährt alleine wieder zurück,
aber das wäre ja das, was wir vorher hatten.
Sowas wollen wir gleich gar nicht erst aufzeichnen. Also er könnte
den Wolf mitnehmen oder er könnte die den Kohlkopf mitnehmen.
Wenn er den Wolf mitnimmt, dann bedeutet es,
der Kohlkopf bleibt alleine und hier drüben,
es sind zwar Wolf und Siege zusammen,
aber der Mensch ist ja noch da,
der würde da schon einschreiten, wenn die sich was tun.
Also keine Gefahr, ist erlaubter Zustand,
nicht rot,
Oder wenn der Mann mit dem Kohlkopf rüberfährt,
da bleibt der Wolf alleine, der wird nicht, der wird nichts fressen.
Und hier, wo die Ziege unter Kohlkopf sind,
da wird der Mensch schon auf dem Kohlkopf aufpassen können.
Auch erlaubt. Okay, vermutlich haben viele von ihnen nur den einen gefunden,
aber wir merken jetzt schon, ab jetzt könnte es zwei Lösungen geben.
Ja, also wir wollten ja ein Verfahren haben,
was nicht nur die Prüfung erlaubt,
das ist dies mit dem Rot, ja, hier so,
sondern erlaubt es auch alle Lösungen zu finden.
Tatsächlich haben wir jetzt hier merken schon, oder gibt es zwei?
Vielleicht kommt ja noch mehr. Es bleibt spannend. Okay
, wir machen weiter. Und zwar Wir setzen beides,
beides jetzt in ein Diagramm gezeichnet, damit ich nicht so viele Bilder brauche hier.
Also wir gehen mal die linken Zweig erstmal. Wir hatten
den Mann und den Wolf und die Ziege auf der einen Seite.
Und da kann, könnt ihr jetzt alleine zurückfahren,
aber dann bleibt der Wolf und die Ziege zu übrig.
Und das geht nicht gut aus. Deswegen rot, verbunden
. Deswegen ist es eine gute Idee. Die zweite Variante
zu nehmen, er nimmt die Ziege wieder mit zurück.
Den Wolf wieder zurückzunehmen, ist ja irgendwie ein bisschen Quatsch.
Das hat man gerade vorher, da werden wir zurückführen.
Also nimmt er die Ziege mit. Das ist ja,
das wäre eine Variante. Dann gibt es auf der
einen Seite den Mann, Die Ziege im Kurkopf.
Er kann wieder aufpassen drauf. Und auf der anderen Seite
in Wolf. Soweit, so gut. Hier gibt es
noch keine weiteren Varianten. Und hier drüben,
fast die zweite Variante vorhin gewesen wäre, im Voragendenbild,
wir nehmen der Mensch, nimmt den Kohlkopf mit rüber,
dann bleibt der Wolf alleine.
Und der Mensch mit dem Kohlkopf ist bei der Ziege angekommen.
Und ja, das ist auf jeden Fall das Gewesene.
Und jetzt könnte der Mensch alleine wieder zurückfahren ans andere Ufer,
wo ja noch der Wolf ist, den Wolf holen.
Da ist der Mensch bei dem Wolf Arbeitssieg und Kohlkopf
sind im Moment unbeobachtet
Gut. Und ja, also der nimmt jetzt also die Ziege mit,
dann hat er zwar Wolf und Ziege zusammen da drüben,
aber er ist ja dabei.
Kann nicht viel passieren und der Gurkopf,
der läuft nicht weg. So, soweit haben wir,
es bleibt bei zwei möglichen Zuständen und jetzt schauen wir mal weiter.
Wir machen wieder links weiter. Hier war es so,
hier gibt es jetzt, also der war mit der Ziege gekommen,
deswegen, die Ziege wieder mit zurücknehmen, ist Quatsch,
machen wir nicht.
Da blieb es die Möglichkeit,
entweder den Kohl mitnehmen oder geht alleine,
wenn er alleine geht,
wäre Ziege und Kurkopf
Übrig, wollen wir nicht, ist auf Roten, ist rot,
also nimmt er den Kohlkopf mit, da bleibt die Ziege allein und der Mensch,
der Wolf und das Dings ist hier drüben, ja,
und damit sind wir erstmal dem erlaubten Zustand.
Wie es weitergeht, sehen wir im nächsten Schritt,
wir gucken uns das Parthet, die andere Variante an,
auch der nächste Schritt, er nimmt hier,
war es ja so, dass er,
dass er die Ziege mitgenommen hatte, Mensch,
Wolf und Ziege auf dem Einuferkurkopf auf dem anderen,
wenn der Mensch da allein zurückrudert,
dann ist das irgendwie ein bisschen schlecht,
weil dann Wolf und Ziegel zusammenbleiben
Und ja, also nimmt er den Wolf mit.
Und dann landen wir gerade in dem,
was in einem anderen Fall auch noch war.
Also die beiden Varianten sind jetzt wieder eine Variante.
Wir haben also jetzt nur diesen möglichen Zustand,
der erlaubt ist, die anderen sind alle nicht erlaubt.
Es wird einfacher, auch nicht schlecht. So,
jetzt schauen wir uns mal an, was kann jetzt passieren?
Und jetzt ist es relativ klar, der Mensch fährt rüber.
Da ist Wolf und Kohlkopf. Das ist das einzige,
was jetzt hier noch passieren kann. Alles andere wäre eine
Umkehrung von vorher. Also der Mensch fährt alleine rüber,
lässt den Wolf mit dem Kohlkopf alleine und er hat
die Ziege und mehr Zustände gibt es nicht.
Da gibt es auch nichts Verbotenes als Unterrichtung
Und jetzt tatsächlich, wenn er wieder zurückfährt,
bringt er die Ziege mit und alles in drüben,
alle sind glücklich, die schöne Wanderung kann weitergehen.
Soweit. Dazu nett,
ich denke, einige von ihnen haben das bestimmt rausbekommen,
wenn wir es live machen, sehen wir das.
Meistens nicht alle, aber es gibt schon einige,
die es geschafft haben und wir sehen jetzt hier an dem Ding,
aber es ist erlaubt und verboten.
Und dann sehen wir, es gibt tatsächlich zwei Wege zur Lösung.
Es gibt also zwei Lösungen und mehr gibt es nicht.
Wir haben ja alles durchbesucht.
Was haben wir gemacht? Wir haben das Ganze als Volker
von Schritten bezahlt
Bezeichnet, eine modelliert, das ist das,
wo die Theorie endlich ein Automat dahintersteht. Endlich deswegen,
weil es gibt eine begrenzte, eine abzählbare Menge von Schritten.
Es können viele sein, aber sie sind nicht unendlich.
Wir haben eine Abstraktion durchgeführt, Abstraktion heißt, wir lassen Details weg.
Wir haben nur Zustände und Transitionen hier betrachtet. Wir haben nicht betrachtet,
welche Facharbeit die Ziege, wie alt ist der Wolf,
wie fett ist der Kohl, gibt es da Maden in dem Kohl,
wie kaputt ist das Boot, wie schnell fließt der Fluss,
haben wir alles nicht betrachtet.
Wir haben uns auf die relevanten Objekte konzentriert Und wir haben den Zustand,
und das ist, glaube ich, hier die Herausforderung,
den Zustand als Paar betrachtet, der mich eines Einrufer einander sucht.
Manche von Ihnen mögen auch vielleicht noch das Boot in
die Bewegungsrichtung mit betrachtet haben. Haben wir jetzt nicht,
weil wir das Einrufer links, das Androver rechts haben,
und damit ist die Bewegungsrichtung aus dem Unterschied erkennbar.
Es gibt auf jeden Fall noch andere Lösungen, andere Darstellungen.
Wir haben Unterschieden zwischen gültigen und ungültigen Zuständen, rot und schwarz.
Und wir haben die Transition angegeben durch das,
was wir transportieren. Da stand da Bilds mit dran.
Also wir haben Transitionen, Zustandsübergänge und Zustände.
Der gespende Punkt ist eigentlich,
der Zustand ist ein Paar
Okay. Was haben wir denn weggelassen? Ja,
Gewicht, größeres Boot, Geschwindigkeit des Flusses,
sogar die Richtung der Überfahrt haben wir weggelassen.
Die Richtung der Überfahrt muss man sich daraus gucken,
wo geht denn das M hin?
Von links nach rechts, so von links nach links.
Man hätte es nur mit Hand schreiben können, haben wir einfach weggelassen.
Und was ist jetzt die Leistung? Wir haben uns
für Automaten entschieden. Mein Hinweis war ja vorher,
okay, das stammt aus dem Automatenbuch,
ist wahrscheinlich was mit Automaten zu tun haben wird.
Wir haben eine Ausdrucksform für Zustände und Transitionen gefunden.
Das ist ein ganz wesentlicher Punkt.
Ein Schluck
Gibt es noch? Und damit haben wir die Automaten uns zunutze gemacht.
Ja, so, das war's. Soweit die Lösung,
somit die Diskussion und Glückwunsch an alle,
die es rausbekommen haben und vergeben sie nicht auf,
für alle,
die es
nicht rausbekommen haben