Вопросы с тегом «lambda-calculus»

Задача состоит в том, чтобы написать интерпретатор для нетипизированного лямбда-исчисления, используя как можно меньше символов. Мы определяем нетипизированное лямбда-исчисление следующим образом: Синтаксис Существуют следующие три вида выражений: Лямбда-выражение имеет форму, (λ x. e)где xможет быть любое допустимое имя переменной и eлюбое допустимое выражение. Здесь xназывается параметром и eназывается телом функции. …

45 code-golf  interpreter  lambda-calculus 

Задание Напишите программу или функцию, которая с учетом трех строк A, B, Cсоздает выходную строку, в которой каждый экземпляр Bin Aбыл рекурсивно заменен C. Под рекурсивной подстановкой понимается повторение подстановки, когда на каждом шаге все неперекрывающиеся экземпляры Bin A(выбираются жадно слева направо) заменяются на, Cпока Bбольше не содержится в A. …

25 code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

Исчисление SKI вариант исчисления лямбда , который не использует лямбда - выражения. Вместо этого, только приложения и комбинаторов S , K и I используются. В этой задаче ваша задача состоит в том, чтобы перевести термины SKI в лямбда-термины в β нормальной форме . Входная спецификация Вводом является термин SKI в …

22 code-golf  repeated-transformation  lambda-calculus 

Λ-исчисление , или лямбда - исчисление, является логической системой , основанной на анонимных функциях. Например, это λ-выражение: λf.(λx.xx)(λx.f(xx)) Однако для целей этой задачи мы упростим обозначение: Измените λна \(чтобы было легче набирать текст):\f.(\x.xx)(\x.f(xx)) .В лямбда - заголовков не требуется, так что мы можем бросить его:\f(\xxx)(\xf(xx)) Используйте префикс Unlambda -style `для …

20 code-golf  string  functional-programming  lambda-calculus 

Задача Сформировать первоначальный зашифрованный список, от движений , что вставки Сортировать бы сортировать его. Исходный список будет содержать все числа от 0до N-1(включительно), где Nуказан размер ввода. вход Список, содержащий необходимые шаги для сортировки списка. Каждое значение представляет количество слотов, смещенных на исходное (скремблированное) число, чтобы быть в его правильном …

19 code-golf  array-manipulation  code-golf  code-golf  animation  code-golf  restricted-source  code-golf  java  code-golf  decision-problem  graph-theory  code-golf  conversion  electrical-engineering  code-golf  ascii-art  code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

Фон Визуализация терминов λ-исчисления Знаменитый лямбда-жонглер (и гольфист кода ) Джон Тромп изобрел интересную визуализацию терминов в λ-исчислении. По его словам: абстракции (лямбды) представлены горизонтальными линиями, переменные - вертикальными линиями, исходящими от их связующей лямбды, а приложения - горизонтальными связями, соединяющими крайние левые переменные. Например, лямбда-член λf.λx.f (f (f (fx))) …

9 code-golf  ascii-art  lambda-calculus