Безусловный интерпретатор LISP на LISP - 11 Сентября 2015

Главная » » Безусловный интерпретатор LISP на LISP

07:42 Безусловный интерпретатор LISP на LISP
Здравствуйте!У меня возникла задача, которую можно сформулировать целиком в терминах языка LISP.Требуется найти такие функции encode, decode и reduce, что(decode (reduce … (reduce (encode (quote expr))) … ))для некоторого конечного количества применений reduce является результатом интерпретации выражения expr, в котором можно ограничиться переменными и lambda одного аргумента, причем возвращаемое значение encode — это рекурсивное S-выражение memory с циклами без атомов, а функция reduce должна иметь следующий вид:(lambda (memory) (set (c[ad]r memory) (c[ad]r memory)) (set (c[ad]r memory) (c[ad]r memory)) … (set (c[ad]r memory) (c[ad]r memory)) memory )Был бы признателен за помощь в решении данной задачи.Заранее спасибо.
1 2 3 4 5 Просмотров: 601 \| Добавил: admin \| Рейтинг: 0.0/0