lambda-calculus

5зной

1ответ

Есть ли какой-нибудь нерекурсивный термин, который складывается над списком scott-encoded?

Предположим, что у меня есть scott-encoded список таких как: scott = (\ c n -> c 1 (\ c n -> c 2 (\ c n -> c 3 (\ c n -> n)))) Я хочу функцию, которая получает такой вид списка и преобразует его в с

5зной

2ответ

Как бы исчисление лямбда добавляло числа?

Я читал об исчислении лямбда, и люблю идеи, предложенные им, но есть некоторые вещи, которые я просто не могу объяснить; Как будет исчисление лямбда идти о добавлении чисел? Я понимаю, что (\x . + x x

0зной

1ответ

Reducing Complex DCGs Prolog

Как уменьшить правило DCG, подобное этому dtv (P1^P2^P3^Q1), используя apply (X^P, X, P)? Я пытаюсь описать семантику различных грамматических компонентов, и я использую лямбда-исчисление. Это то, что

2зной

1ответ

Как получить комбинатор Y через S combinator или другие?

У меня есть уравнение Y = FY (уравнение с фиксированной точкой). Как получить из него уравнение для F через другой комбинатор (в частности, S-комбинатор с первым фиксированным параметром)?

1зной

1ответ

конвертировать флип-лямбда в термины SKI

У меня возникли проблемы с преобразованием лямбды для переключения в комбинаторы SKI (надеюсь, это имеет смысл). Вот мое преобразование: /fxy.fyx /f./x./y.fyx /f./x.S (/y.fy) (/y.x) /f./x.S f (/y.x