Простые задачки для решения на Рефале

[vak]

Задача 1. Удвоить произвольное слово (в фиксированном алфавите), т.е. приписать к нему (слева или справа) его копию. Например: вася → васявася.

Задача 2. Построить алгоритм для выполнения сложения целых чисел (неотрицательных). Числа M и N подаются на вход в виде строки 011...1+011...1, где имеется соотвественно M и N единиц.

Задача 3. Построить алгоритм для выполнения умножения целых чисел (неотрицательных). Числа M и N подаются на вход в виде строки 011...1*011...1, где имеется соотвественно M и N единиц.

Эти и другие задачи можно найти в методичках по марковским алгорифмам:

• NAlg2.pdf
• cmc.mt.markov.tasks.pdf

В моё время особенно очаровывала задачка вычисления производной любого выражения в символьном виде. И с тех пор более серьёзных применений Рефала мне не встречалось.

Comments

[spamsink]

В чём прикол, на Рефале-то?

Задача 1 решается как EX = EX EX.
задача 2 - для удобства должно быть можно как '0' E('1')X '+0' E('1')Y = '0' EX EY, но в какой версии появилась эта возможность, если появилась - вопрос.
Собственно, если бы удобство указания классов символов, которое мы знаем по регулярным выражениям, появилось в Рефале-2, чтобы, например, выражение, соответствующее "идентификатору без нулей и букв Q" записывалось как S('A-NR-Z')A E('1-9A-NR-Z')B (для кодировки ГОСТ), то популярность Рефала могла бы быть и повыше.

[vak]

Да, первая задачка неинтересная получилась. Имелось в виду по одной букве копировать. Ну, может потребовать, чтобы копия была задом наперед.

Во второй задаче достаточно вычеркнуть «+0». Тривиально.

[spamsink]

Я обалдел: https://keldysh.ru/papers/2003/source/prep2003_99.pdf

[vak]

Ничего себе крутые ребята были: перепрошить систему микрокоманд ЕС-1035 пор Рефал-процессор. Однако не пригодилось никому.

"Когда мы приступали к этой работе, то были уверены, что широкому использованию Рефала мешают ограниченные возможности его реализации - прежде всего низкое быстродействие и ограниченный объем памяти. Поэтому поставленная в самом начале разработки цель - повысить на порядок быстродействие выполнения рефал-программ, казалось, должна была привлечь пользователей, как уже работавших с Рефалом, так и новых. Однако после запуска процессора в работу, к сожалению, мы этого не обнаружили. Оказалось также, что практически все системы, созданные на базе Рефала, которые мы хотели запустить на рефал-процессоре, были в таком состоянии, что без участия авторов запустить их было практически невозможно, а у авторов не было интереса проводить такую работу. Короче говоря, задач для загрузки процессора не оказалось."

[spamsink]

Но ведь были же какие-то системы, созданные на базе Рефала, значит!

[vak]

Был к примеру суперкомпилятор.

https://ru.m.wikipedia.org/wiki/%D0%A1%D1%83%D0%BF%D0%B5%D1%80%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%86%D0%B8%D1%8F

Я неоднократно о нём слышал от разных людей на физтехе и в ИПМ. Ни разу не видел в действии, впрочем. Скорее всего его так и не довели до законченного продукта.