Доброй ночи, Сергей!
Вот здесь вот на страницах 5 и 6
http://conf.nsc.ru/files/conferences/Lyap-100/fulltext/69293/69928/nemytykh_supercompilation_Lyapunov100.pdf
упоминаются работы Футамуры про обобщённые частичные вычисления. В частности,
там написано:
«По-видимому, наименее разработанными
В принципе, многоуровневая суперкомпиляция (как в суперкомпиляторе Ильи
Ключникова и, в меньшей степени, как в моём варианте насыщения равенствами)
делает нечто подобное - применяет леммы. Проблема в том, что эти леммы не
являются чем-то заданным извне, а обнаруживаются в процессе
суперкомпиляции,
Добрый день, Аркадий!
«Именно, можно взять в качестве исходной … и выходная программа … будет
эквивалентна исходной при любой операции g, даже некоммутативной … А уж как
получить это суперкомпиляцией, не используя „школьной алгебры“, не знаю — карты
вам в руки.»
Существуют методы, которые
Александр, я не знаю, где читать про это, надо искать, но хочу предложить
Вам эту идею развить. Как мне кажется, полученный результат преобразований
эквивалентен исходной программе даже без учета "школьной алгебры". Именно,
можно взять в качестве исходной
fib(0) = 1
fib(1) = 1
fib(k+2) =
Квадрат - просто чтобы подчеркнуть, что вес числа констант и конструкторов
больше, чем минус числа е-параметров.
Имеют право и повторные быть, конечно, и смежные. Но для них я не знаю
обоснования завершаемости суперкомпиляции. Может быть, можно как-то про строго
непустые подстановки
Добрый день, Антонина!
Рад видеть тебя в рассылке! И, наверное, не только я.
«При каждом обобщении величина (3*K)^2+(3*K − E) может только уменьшаться.»
Я, наверное, туплю сегодня, но откуда там квадрат? Он связан с наличием
повторных переменных, которые при обобщении могут перестать быть
Добрый день, Антонина!
Рад видеть тебя в рассылке! И, наверное, не только я.
«При каждом обобщении величина (3*K)^2+(3*K − E) может только уменьшаться.»
Я, наверное, туплю сегодня, но откуда там квадрат? Он связан с наличием
повторных переменных, которые при обобщении могут перестать быть
Добрый день, Александр!
Насколько я знаю, в SCP4 используется стратегия, запрещающая построение
обобщений, в которых два е-параметра стоят подряд. Каждые такие два е-параметра
сливаются в один. И это гарантирует конечную длину цепочки обобщений у
выражения. Что можно попробовать доказать,
Добрый день всем!
Пишу в две рассылки, поскольку вопрос и про суперкомпиляцию, и про Рефал.
В рассылке metacomputation-ru@… я встретил ссылку на препринт Сергея Романенко:
С.А. Романенко. Суперкомпиляция: гомеоморфное вложение, вызов по имени,
частичные вычисления // Препринты ИПМ им.