Lambda Calculus -Bewertung

Question

Ich weiß, dass dies eine einfache Frage ist, aber kann mir jemand zeigen, wie $ ( lambda y. Lambda x. Lambda yy) ( lambda x. lambda y. y $.

Answer 1

Der Grund, warum $ ( lambda y. Lambda x. Lambda yy) ( lambda x. Lambda y) $ $ $ lambda x. lambda y. y $ und nicht $ lambda x. lambda y. lambda x.

Wenn Sie die Argumente in unterschiedliche Namen umbenennen, würde $ lambda y. Lambda x. Lambda yy $ als $ lambda y_1. Lambda x. Wenn Sie diese Funktion auf das Argument anwenden, bedeutet dies, dass jedes Vorkommen von $ y_1 $ in $ lambda x. Lambda y_2.y_2 $ durch das Argument ersetzt werden sollte. $ Y_1 $ erscheint jedoch in diesem Ausdruck überhaupt nicht, daher wird das Argument einfach ignoriert und das Ergebnis ist nur $ lambda x. Lambda y_2.y_2 $.