Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
β-Reduktion
Hi,
könnt ihr mir sagen, ob folgende β-Reduktionen vom Blatt 2 richtig sind?
(λxy.(λzu.y(uz)x)xx)uvu
→λxy.(λu.y(ux)x)uvu (fehlt hier ein x?)
→(λxy.y(xx)x)uvu
→(λy.y(uu)u)vu
→(v(uu)u)u
Ja, hier fehlt ein x. Das erste x ist der parameter „für das z“ und das zweite der „für das u“, also z.B.:
(λzu.zu)xx → (λu.xu)x → xx
Alles klar, danke! Jetzt seh ich auch, dass das x ja später wieder kommt :rolleyes: