Nächste Seite:
Gebundene Variablen
Aufwärts:
Lambda-Kalkül
Vorherige Seite:
Lambda-Terme
verkürzte Notation
Applikation als links-assoziativ auffassen:
(...((
FA
1
)
A
2
)...
A
n
)∼
FA
1
A
2
...
A
n
mathend000#
Beispiel:
((
xz
)(
yz
))∼
xz
(
yz
)
mathend000#
geschachtelte Abstraktionen unter ein Lambda schreiben:
λx
1
.(
λx
2
....(
λx
n
.
B
)...)∼
λx
1
x
2
...
x
n
.
B
mathend000#
Beispiel:
λx
.
λy
.
λz
.
B
∼
λxyz
.
B
mathend000#
die vorigen Abkürzungen sind sinnvoll, denn
(
λx
1
...
x
n
.
B
)
A
1
...
A
n
mathend000# verhält sich wie eine Anwendung einer mehrstelligen Funktion.
Johannes Waldmann 2014-03-31
