BuK/IIm21/Lambda-Kalkül Reduktionsregeln

Wiki-Quelltext dieser Seite.

Betta-Regel:

((λx. E ) M) ⇒ E[M/x]


Bedingungen:

- E und M sind λ-Ausdrücke

- M ist nicht in E gebunden

- x ist eine Variable


Vorgehen:

- ersetze alle in in E vorkommenden x durch M


Beispiel:

((λx. (x x)) y) = (λx. (y y))