Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Алгоритмы _ Лямбда-исчисление.

Автор: Krjuger 16.05.2011 21:51

Собственно задача следующая.
5.Определить лямбда-образ функции T(x)=<a1,......,an>, где аi делитель "х" (расположенные по убиванию).
Собственно непонятно,какие проверки должны быть.Например,если х равно нулю,то результатом должно быть 0 или пустое множество.Так же не совсем понятно,как искать делитель.Была идея рассмотреть обратную задачу,тобиш пойти через умножение и записывать по порядку,но тут тоже возникли проблемы,умножение то я сделал <<*>>=лямбда y1,y2(y2 y2 лямбда z2 ( <<+>>(<<*>>y1z2)y1)),Но как написать функцию,которое будет это использовать, я не знаю.