Костя · стажёр
Я дочитал блокнот. В блоке H у нас было поручение Ω, которое крутится вечно, и комбинатор, который повторяет что угодно сколько угодно. А в Допуске Арбениной их нет. Ни одного «повторяй, пока не получится». Она что, забыла? Обыскать склад ящик за ящиком без этого не выйдет.
На полях последней страницы ответ есть, рукой Арбениной: «Повтор не забыт. Без него каждое допущенное дело кончается вердиктом. С ним не каждое». Сомова читает это дважды. Вердикт в каждом деле, а не просто «машина не застрянет»: это обещание сильнее того, что мы доказывали в уроках 50 и 52.
Сегодня разберём, почему простое λ-исчисление из урока 51 всегда завершается, как добавить в него повтор и что за это придётся отдать.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.