Задача состоит в том, чтобы написать интерпретатор для нетипизированного лямбда-исчисления, используя как можно меньше символов. Мы определяем нетипизированное лямбда-исчисление следующим образом: Синтаксис Существуют следующие три вида выражений: Лямбда-выражение имеет форму, (λ x. e)где xможет...
Задание Напишите программу или функцию, которая с учетом трех строк A, B, Cсоздает выходную строку, в которой каждый экземпляр Bin Aбыл рекурсивно заменен C. Под рекурсивной подстановкой понимается повторение подстановки, когда на каждом шаге все неперекрывающиеся экземпляры Bin A(выбираются жадно...
Исчисление SKI вариант исчисления лямбда , который не использует лямбда - выражения. Вместо этого, только приложения и комбинаторов S , K и I используются. В этой задаче ваша задача состоит в том, чтобы перевести термины SKI в лямбда-термины в β нормальной форме . Входная спецификация Вводом...
Задача Сформировать первоначальный зашифрованный список, от движений , что вставки Сортировать бы сортировать его. Исходный список будет содержать все числа от 0до N-1(включительно), где Nуказан размер ввода. вход Список, содержащий необходимые шаги для сортировки списка. Каждое значение...
Фон Визуализация терминов λ-исчисления Знаменитый лямбда-жонглер (и гольфист кода ) Джон Тромп изобрел интересную визуализацию терминов в λ-исчислении. По его словам: абстракции (лямбды) представлены горизонтальными линиями, переменные - вертикальными линиями, исходящими от их связующей лямбды, а...