Теоретические сведения. Покажем, что объект, понимаемый как λ-терм
(исходное представление), может быть представлен посредством ком-
бинаторного терма (целевое представление). Процесс перевода объекта
из исходного в целевое представление существенно упрощается, если ис-
пользовать заранее заданный набор комбинаторов. Для этого зафиксируем
набор I, K, S, который, как известно, образует базис. Задача 7.1 Выразить терм λx.P через комбинаторы I, K, S.
Формулировка задачи. Пусть определение терма λx.P дано индукцией по построению P:
(1) λx.x = I,
(2) λx.P = KP, если не принадлежит F V (P),
(3) λx.P Q = S(λx.P)(λx.Q).
Исключить все переменные из приводимых λ-выражений:
1. λxy.yx; 2. λfx.xx; 3. f = λx.B(f(Ax)).
Решение.
Опубликовал Kest
April 15 2014 12:34:39 ·
0 Комментариев ·
2213 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
