Lambda-Kalkül Frage - Beton
-
12-10-2019 - |
Frage
Ich habe folgende
(f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x)
= x.(y.y+1)(x+1)
= x.x+1+1
Ich verstehe nicht, warum es ist in Ordnung, die letzte Transformation?
Sollte es nicht x.(y.y+1)(x+1)= y+1
sein? Warum kann er von der y
loswerden
Lösung
(y . y + 1)
auf ihr Argument (x + 1)
angewendet wird, so dass es für y
ersetzt ist ((x + 1) + 1)
zu geben.
Ich sehe nicht, wie Sie mit x . (y . y + 1)(x + 1)= y + 1
kommen. y
existiert nur in dem Umfang der inneren Funktion.
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow