Меню
Главная
Случайная статья
Настройки
|
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.
Обсуждение
Правило подстановки -- центральное в -исчислении, оно никак не обсуждается. Упущено и отношение конвертируемости.--VEW 16:25, 23 марта 2008 (UTC)[ответить]
- Это верно. Статья не полна. Возьметесь дописать? Хацкер 00:11, 26 марта 2008 (UTC)[ответить]
- Постараюсь. --VEW 16:22, 26 марта 2008 (UTC)[ответить]
Это соображение в общем виде записывается как
и носит название -редукция.
-- возможно ошибка и правильно так:
-- ВВ 195.60.245.246 09:53, 11 ноября 2008 (UTC)[ответить]
- совершенно верно. спасибо. Хацкер 12:24, 11 ноября 2008 (UTC)[ответить]
Удаление абзаца
Не мог не удалить следующий абзац из секции "-преобразование"
Надо отметить, что если рассматривать лямбда-термы не как функции, а именно как алгоритмы, то данное преобразование не всегда уместно: существуют случаи, когда вычисление завершается, а вычисление не завершается.
Это высказывание противоречит теореме Черча-Россера.
Согласно теореме Черча-Россера, никогда не поздно вернуться к нормализованной стратегии редукции лямбда-выражений.
- Теорема Черча-Россера[1]
Пусть E1 и E2 суть ламбда-выражения, причем справедливо соотношение: E1 = E2.
Тогда существует ламбда-выражение E такое, что выполнены следующие условия: во-первых, E1 = E, и, во-вторых, E2 = E.
Заметим, что символ "=" в формулировке теоремы понимается в смысле отношения конвертируемости.
alanubi 19:56, 8 августа 2010 (UTC)[ответить]
Язык статьи
Нельзя ли переписать статью? Для не-специалистов понятно очень мало, хотя тема не такая уж и сложная. 213.206.55.129 20:49, 3 сентября 2010 (UTC)[ответить]
что такое функциональная аппликация и функциональная абстракция - сделайте ссылки какие-нибудь...FeelUs 23:48, 27 января 2011 (UTC)[ответить]
|
|