М. В. Ломоносова Факультет вычислительной математики и кибернетики Е. И. Большакова, Н. В. Груздева Основы программирования на языке Рефал Учебное пособие
 Скачать 0.92 Mb.
|
|
Московский Государственный Университет имени М. В. Ломоносова Факультет вычислительной математики и кибернетики Е. И. Большакова, Н. В. Груздева Основы программирования на языке Рефал Учебное пособие Москва 2009 УДК ББК Большакова Е. И., Груздева Н. В. Основы программирования на языке Рефал (учебное пособие) – М.: Издательский отдел факультета ВМК МГУ (лицензия ИД № 05899 от 24.09.2001), 2009 – 93 с. В учебном пособии описываются ключевые понятия и базовые механизмы функционального языка Рефал – одного из немногих отечественных языков программирования, получивших известность за рубежом. В последние годы учебные материалы по этому языку не публиковались, и данное пособие восполняет этот пробел. Рассматриваются особенности двух наиболее известных диалектов языка (Рефал-2 и Рефал-5), подробно разбираются примеры рефал-программ. В пособие включено также описание заданий практикума на языке Рефал, проводимого для студентов кафедры алгоритмических языков факультета ВМиК МГУ. Авторы благодарят Н.В. Баеву за помощь в подготовке учебного пособия. Рецензенты: доцент, к.ф.-м.н. Т.В. Руденко ст. научн. сотрудник, к.ф.-м.н. С.И. Рыбин Печатается по решению Редакционно-издательского совета факультета вычислительной математики и кибернетики МГУ им. М. В. Ломоносова ISBN © Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М. В. Ломоносова, 2009 © Большакова Е.И., Груздева Н.В., 2009 Содержание 1. Базисный Рефал 6 1.1. Рефал и нормальные алгоритмы Маркова 6 1.2. Выражения и переменные 10 1.3. Функции и предложения 12 1.4. Абстрактная Рефал-машина 14 1.5. Правила синтаксического отождествления 17 1.6. Примеры рефал-функций 21 2. Язык Рефал-2 29 2.1. Символы-литеры и составные символы 29 2.2. Переменные и их спецификации 31 2.3. Особенности синтаксического отождествления 36 2.4. Встроенные функции 38 2.5. Функции для работы с копилкой 43 2.6. Оформление и запуск программы 45 3. Язык Рефал-5 49 3.1. Основные особенности 49 3.2. Условная конструкция 51 3.3. Присоединённый блок 55 3.4. Встроенные функции 57 3.5. Оформление программы 61 4. Примеры решения задач на языке Рефал 63 4.1. Посимвольная обработка текста 63 4.2. Структурирование текста 68 4.3. Обработка структурированного текста 73 5. Задания практикума 80 5.1. Дифференцирование выражения 80 5.2. Решение системы линейных уравнений 81 5.3. Определение равносильности логических формул 83 5.4. Распознавание вхождения логической формулы 84 5.5. Вычисление выражения языка С 85 5.6. Интерпретация паскаль-программы 87 5.7. Трансляция паскаль-программы в язык С 89 5.8. Методические указания к вариантам 90 6. Литература 92 Приложение 1. Синтаксис языка Рефал-2 93 Приложение 2. Синтаксис языка Рефал-5 95 Язык Рефал (рекурсивных функций алгоритмический язык) был предложен в конце 60-х годов прошлого века для формализации синтаксического и семантического анализа программ, записанных на алгоритмических языках (Алгол, Фортран и др.) [1,2]. Хотя Рефал был задуман как метаалгоритмический язык, в итоге был создан функциональный язык программирования с уникальной концепцией вычислений [3-6] удобный для решения широкого круга задач обработки символьной информации. К этим задачам относятся не только интерпретация и трансляция языков программирования, но и выполнение аналитических преобразований в математике и теоретической физике, автоматическое доказательство теорем и другие задачи из области искусственного интеллекта. Общим для всех приложений языка Рефал является анализ и преобразование сложных выражений, записанных на формальных языках (алгоритмических языках, языке исчисления предикатов и др.). 1.Базисный РефалНастоящий раздел посвящён описанию основополагающих понятий языка Рефал, в совокупности образующих алгоритмически полное ядро первых известных его диалектов – языков Рефал-2 и Рефал-5. Эти диалекты более подробно рассматриваются в следующих разделах пособия. Используемый в этом разделе синтаксис базисного Рефала незначительно отличается от синтаксиса языка Рефал-2. |