Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В



страница1/26
Дата15.01.2013
Размер1.39 Mb.
ТипУчебное пособие
  1   2   3   4   5   6   7   8   9   ...   26
Московский Государственный Университет

имени М. В. Ломоносова
Факультет вычислительной математики и кибернетики

Е. И. Большакова, Н. В. Груздева


Основы программирования

на языке Рефал


Учебное пособие

Москва

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   3   4   5   6   7   8   9   ...   26

Похожие:

Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Москва, 2009 удк 811. 111 Ббк 81. 2Англ к 893 к 893
Учебное пособие предназначено для студентов продвинутого этапа обучения гуманитарных специальностей. Пособие базируется на оригинальном...
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Москва мгуиэ 2009 удк 17. 9 Ббк 35. 11 С90
В учебном пособии рассматриваются задачи математического и физического моделирования химико-технологических систем
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Москва, 2009 ббк-63. 3 /2/я 73 удк-930. 24 Степнова Л. В
Печатается под общей редакцией профессора, доктора социологических наук, зав кафедрой истории, социологии и права Деревянченко А....
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие для студентов всех специальностей Москва 2003 ббк 22. 17я7 удк 519. 22 (075. 8) 6Н1 к 60
Калинина В. Н., Соловьев В. И. Введение в многомерный статистический анализ: Учебное пособие / гуу. – М., 2003. – 92 с
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие для студентов всех специальностей Саратов 2009 удк 519. 17 Ббк 22. 174 С 32 Рецензенты
С32 Ведение в теорию графов: учеб пособие. Саратов: Сарат гос техн ун-т, 2009. 36с
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Москва 2006 удк 341. 645: 347. 922(075) ббк 67. 412. 2 О 23

Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Москва 2010 удк 001(09) ббк 72. 3 Рецензенты
Московская государственная академия тонкой химической технологии им. М. В. Ломоносова
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Омск Издательство Омгту 2009 удк 55 (075) ббк 26. 3я73 Б44 Рецензенты
Охватывает большие территории и многокилометровые толщи пород
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Великий Новгород 2000 ббк 71. 0 Печатается по решению з 13 риса НовГУ
Культура и культурология в жизни общества: Учебное пособие / Под научн ред. В. П. Большакова. – Великий Новгород: Новгу имени Ярослава...
Учебное пособие Москва 2009 удк ббк большакова Е. И., Груздева Н. В iconУчебное пособие Новосибирск 2001 удк 681. 3 Ббк 32. 973-01 в 751 Воробьева А. П., Соппа М. С. Система программирования Турбо паскаль 0: Учебное пособие. Новосибирск: нгасу, 2001. 118 с
Данное учебное пособие написано в рамках изучения курса информатики студентами экономической специальности. В первой части пособия...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org