3622
правки
Изменения
м
→Свободные и связанные переменные
дереве разбора были абстракции. Все остальные переменные называются свободными.
Например, в <tex>\lambda x\ .\ \lambda y\ .\ x</tex>, <tex>x</tex> и связана, а <tex>y</tex>{{---}} свободна. А в <tex>\lambda y\ .\ x\ (\lambda x\ .\ x)</tex>
в своём первом вхождении переменная <tex>x</tex> свободна, а во втором {{---}} связана.
