РЕФАЛ

РЕФАЛ

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


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

Для реализации программ на Р. разработаны эффективные трансляторы (см. [3], [4]; пример использования Р. для машинного выполнения выкладок в теоретич. физике см. в [5]).

Лит.:[1] Т у рч и н В. Ф., "Кибернетика", 1968, № 4, с. 45-54; [2] Т у р ч и н В. Ф., С е р д о б о л ь с к и й В. И., "Кибернетика", 1969, № 3, с. 58-62; [3] Ф л о р е н ц е в С. Н., О л ю н и н В. Ю., Т у р ч и н В. Ф., "Тр. 1 Всесоюзн. конференции по программированию", К., 1968, с. 114 - 33; [4] Романенко С. А., Т у р ч и н В. Ф., "Тр. 2-й Всесоюзн. конференции по программированию", Нивосиб., 1970, с. 31-42; [5] Б у д н и к А. П. [и др.], "Ядерная физика", 1971, т. 14, с. 304 - 13. В. Ф. Турчин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "РЕФАЛ" в других словарях:

  • РЕФАЛ — Семантика: функциональный / сентенциальный Тип исполнения: зависит от реализации Появился в: 1966 Автор(ы): Валентин Турчин Типизация данных: бестиповый …   Википедия

  • Рефал — Семантика: функциональный / сентенциальный Тип исполнения: зависит от реализации Появился в: 1966 г. Автор(ы): Валентин Турчин Типизация данных: бестиповый Диалекты: РЕФАЛ 2, РЕФАЛ 5, РЕФАЛ+, РЕФАЛ 0 РЕФАЛ (РЕкурсивных …   Википедия

  • рефал — у, ч., спец. Мова програмування високого рівня …   Український тлумачний словник

  • РЕФАЛ — рекурсивная функция алгоритма …   Словарь сокращений русского языка

  • Автоматное программирование — Автоматное программирование  это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого либо формального автомата. В зависимости от конкретной задачи в автоматном программировании… …   Википедия

  • Турчин, Валентин Фёдорович — Валентин Фёдорович Турчин Дата рождения: 1931 год(1931) Место рождения: Подольск, Московская область, СССР Дата смерти: 7 апреля 2010( …   Википедия

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

  • Валентин Турчин — Валентин Фёдорович Турчин (родился в 1931 в Москве)  выдающийся учёный, физик и кибернетик, создатель языка Рефал и новых направлений в программировании и информатике. Отец П. В. Турчина. Содержание 1 Биография 1.1 Общественная и …   Википедия

  • Валентин Федорович Турчин — Валентин Фёдорович Турчин (родился в 1931 в Москве)  выдающийся учёный, физик и кибернетик, создатель языка Рефал и новых направлений в программировании и информатике. Отец П. В. Турчина. Содержание 1 Биография 1.1 Общественная и …   Википедия

  • Валентин Фёдорович Турчин — (родился в 1931 в Москве)  выдающийся учёный, физик и кибернетик, создатель языка Рефал и новых направлений в программировании и информатике. Отец П. В. Турчина. Содержание 1 Биография 1.1 Общественная и …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»