Математическая энциклопедия - рефал

а л г о р и т м и ч е с к и й я з ы к р ек у р с и в н ы х ф у н к ц и й,алгоритмический язык, ориентированный на задачи преобразования символьной информации; в первоначальном варианте назывался "метаалгоритмическим языком" (см. |1]). Р. был создан как универсальный метаязык для описания преобразований языковых объектов. Он используется для трансляции с одного алгоритмич. языка на другой, для машинного выполнения аналитич. выкладок, доказательства теорем, перевода с естественных языков и т. п. Запись алгоритма на Р. представляет описание нек-рого числа рекурсивных функций на множестве выражений (т. .