Original von NullAhnung
Und noch ne Frage: Wie komm ich bei Übung 7.2 auf die Substitutionen?
Die sieht man am besten, wenn man sich die Bäume aus den Übungen malt. Ich mache es mal für die erste Substitution beispielhaft vor:
|
Source code
|
1
2
3
|
():a3
/ | \
x:a0 y:a1 z:a2
|
x ist also eine Funktion von y und z. Also a0 = a1 x a2 -> a3.
Zum Ausfüllen: Man macht das schrittweise:
1.) Zuerst malt man den Baum und schreibt hinter jedem Feld ein ":"
2.) Nun geht man die Blätter der Reihe nach ab und schaut zunächst, ob die Namen schon vorhanden sind oder ob irgendwas gegeben ist.
3.) Man nummeriert fortlaufend durch.
Tiefer im Baum erkennt man dann, dass manche Variablen identisch sind, bzw. ob am Ende beides matched.