предыдущая
наверх
следующая
Определение свободных и связанных
Множество
свободных переменных
в терме
u
обозначим FV(
u
):
FV(
x
) = {
x
}
FV(
u v
) = FV(
u
) ∪ FV(
v
)
FV(λ
x
.
u
) = FV(
u
) \ {
x
}
Множество
связанных переменных
BV(u):
BV(
x
) = ∅
BV(
u v
) = BV(
u
) ∪ BV(
v
)
BV(λ
x
.
u
) = BV(
u
) ∪ {
x
}