Lambda-Kalkül Reduktionsregeln

Aus ProgrammingWiki
< BuK < IIm21
Archivierte Version vom 2022-05-23T16:03:39+00:00. Aktuelle Version

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