Lambda-Kalkül-Auswertung

Ich weiß, dass dies eine einfache Frage ist, aber kann mir jemand zeigen, wie auf reduziert wird . $(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)$ $\lambda x. \lambda y. y$

logic lambda-calculus

— prerm2686
quelle

Sind Sie sicher, dass Sie dies richtig in Klammern gesetzt haben? Aufgrund der Art und Weise, wie es geschrieben ist, sehe ich nicht, wie es überhaupt vereinfacht werden kann. Wenn es (λy.λx.λy.y) (λx.λy.y)so wäre, würde es sich auf reduzieren λx.λy.y.

— sepp2k

Ja danke ich habe meine Frage aktualisiert. Könnten Sie erklären, wie Sie λx.λy.y

— prerm2686

$(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)$ $\lambda x. \lambda y. y$ $\lambda x. \lambda y.\lambda x.\lambda y.y$ $y$ $\lambda y.\lambda x.\lambda y.y$

$\lambda y.\lambda x.\lambda y.y$ $\lambda y_1.\lambda x.\lambda y_2.y_2$ $y_1$ $\lambda x.\lambda y_2.y_2$ $y_1$ $\lambda x.\lambda y_2.y_2$

— sepp2k
quelle

Oh ok, also ist das y2 nicht an y1 gebunden. Vielen Dank.

— prerm2686

λ

$\lambda$

λ y . y

$\lambda y.y$

y

$y$

Die Reduktion auf Wikipedia bietet eine formellere Behandlung der α-Umwandlung und der β-Reduktion. Eine Referenz, die ich mag, ist Chris Hankins Buch

— Romuald