Сейчас осваиваю эссе Душкина, затормозился на комбинаторах. Задание разложить комбинатор Ψabcd = a(bc)(bd).Формальный алгоритм мне нигде найти не удалось, Душкин приводит несколько правил разложения, но каким образом эти правила применять, тоже не очень ясно. Посмотрел решения заданий в «Комбинаторная логика в программировании.» Вольфенгагена, там тоже не очень ясно, по какому принципу выбирается та иная схема преобразования. Где можно об этом понятно и доступно почитать?
Похожие темы
- Форум Y-комбинатор (2013)
- Форум Языковый базис (2013)
- Форум ортогональный базис (2013)
- Форум Разложение чисел на множители (2013)
- Форум Разложение в ряд Фурье (2012)
- Форум Частотное разложение в gimp (2014)
- Форум Разложение сигнала на составляющие (2014)
- Форум Моральное разложение западных интернетов (2015)
- Форум Моральное разложение западных интернетов v2 (2015)
- Форум Разложение видефайла на отдельные потоки (2015)