Новая переменная
-
Определение новой переменной
- Новая переменная — это переменная, не встречавшаяся в контексте до этого.
- Используется для замены других переменных или устранения затенения.
-
Применение новых переменных
- В альфа-преобразовании и лямбда-исчислении помогает избежать захвата свободных переменных.
- В формальной верификации программ полезна для замены констант новыми переменными.
-
Пример использования
- При переписывании терминов для избежания столкновений с переменными в других выражениях.
- В примере с правилом и термином показывает, как замена правила новой копией позволяет успешно выполнить подстановку.
-
Рекомендации
- Статья является заглушкой и нуждается в расширении.
- Читателей просят помочь Википедии, расширив статью.
Полный текст статьи: