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))