Nächste Seite:
Substitution
Aufwärts:
Lambda-Kalkül
Vorherige Seite:
verkürzte Notation
Gebundene Variablen
Def: Menge
FV(
t
)
der
freien Variablen
von
t
∈
Λ
FV(
x
) = {
x
}
FV(
FA
) = FV(
F
)∪FV(
A
)
FV(
λx
.
B
) = FV(
B
)
{
x
}
Def: Menge
BV(
t
)
der
gebundenen Variablen
von
t
∈
Λ
BV(
x
) = ∅
Johannes Waldmann 2013-01-31
{x}