Разработка методов реализации интерактивных систем с входными языками, ориентированными на функциональную обработку массивов (типа АПЛ)

• Автор: Пашинцев, Владимир Дмитриевич
• Шифр специальности: 05.13.13, 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1985
• Место защиты: Москва
• Количество страниц: 219 c. : ил

ОГЛАВЛЕНИЕ
Введение

Глава I. Общие принципы реализации диалогового

процессора АЛЛ. 1Е

1.1. Автоматная модель типового диалогового процессора АЛЛ

1.2. Разработка процедурной структуры диалогового процессора АПЛЕС

МЭЮ .

1.3. Элементы АПЛпрограмш.

1.4. Включение в АЛЛ определяемых

функций общего вида ООФ

1.5. Анализ способов связывания имен и значений в контексте общей реализации АЛЛ.

1.6. Разработка внутренних структур данных и механизмов управления памятью в рабочем поле пользователя АПЛЕС МЭИ
1.7. Расширение диагностических сообщений и программная обработка аварийных ситуаций в АПЛЕС МЭИ .
Выводы и результаты
Глава 2. Трансляция и интерпретация АЛЛ
программ .
2.1. Классификация методов реализации
2.2. Лексический уровень обработки программных строк АЛЛ .
2.3. Определение синтаксического
анализа программных строк АЛЛ
2.4. Организация выполнения программных
стХК в интерпретаторе АПЛС
2.5. Определение и реализация в АПЛЕС МВЙ частичного синтаксического разбора программных строк на этапе трансляции.1
2.6. Общие структуры управления выполнением АПЛпрограш в интерпретаторе АПЛЕС МЭИ .
2.7. Трансляция определяемых функций
в АМЙС МЭИ
Выводы и результаты .
Глава 3. Разработка и исследование методов
реализации примитивных функций АЛЛ. 9
3.1. Предварительные замечания
3.2. Базовые определения примитивных
функций АЛЛ.
3.3. Оптимизация обработки массивов в АПЛинтерпретаторе с непосредственной реализацией примитивных
функций. 9
3.4. Динамическая компиляция АЛЛ и поиндексная протяжка вычислений
в АПЛвыражениях.
3.5. Совмещенный интерпретатор АПЛЕС МЭИ и экспериментальное сравнение двух режимов интерпретации АПЛвыражений
Выводы и результаты .
Заключение
Литература


Автоматная модель типового диалогового процессора АЛЛ. В общем случае, системы типа АЛЛ можно разделять на независимые процессоры, каждый из которой реализует определенные группы системных функций или работу с определенными системными ресурсами [3 . Следуя такому подходу к определению систем в настоящей работе выделяется диалоговый процессор АЛЛ, который рассматривается как совокупность системных процедур, логически образующих "экземпляр" индивидуальной АПЛ-системы (по отношению к любому пользователю). Предполагается, что диалоговый процессор АЛЛ в каждый момент соединен с некоторым терминалом (через который осуществляется диалог пользователя с системой) и с некоторым активным рабочим полем пользователя (в котором представляются результаты диалога). Предполагается также, что работа с библиотеками рабочих полей и с файлами АЛЛ реализуется независимыми процессорами системы, которые в настоящей работе не рассматриваются (материалы по реализации этих компонент в интерпретирующей системе АПЛ/ЕС (ГОИ) представлены в отчетах Г, Л ). В качестве формальной модели диалогового процессора АЛЛ в настоящей работе предлагается использовать автомат без заключительных состояний, допускающий потенциально бесконечные цепочки входных строк, которые пользователь может вводить в процессе диалога с системой. На основании анализа известных АПЛ-систем ( [, , и др. SCOM HEM / PS II EM I REM Iv HM VilEM/jjiHM/ HDD. FN [ ECO Ml DPS 7 R EM I EE QECOMj V R EM )SCOM R DM I л DM I D? F PS . Л" отмечает конец каждой входной строки. Содержательно, нетерминалы ЕМ. ОМ соответствуют основным режимам работы системы - режиму выполнения и режиму определения. Нетерминал НМ соответствует вспомогательному состоянию процессора, в котором распознаются условия входа в режим определения (см. По соглашению, начальным считается режим выполнения (ЕМ). Терминальными понятиями в представленных определениях считаются понятия программной строки ? Е&и ), заголока НД или имени ЕЕ определяемой функции, команды редактирования ЕСОМ и системной команды вс ОМ . В переменной РМ фиксируются номера программных строк в режиме определения. Заголовок функции считается строкой с номером РМ - 0 . ЕМ , НМ. Разработка процедурной структуры диалогового процессора АЛЛ/ЕС (ШИ). Представленное в предыдущем разделе формализованное определение цепочек входных строк, допустимых в процессе АПЛ-диало-га, позволяет строго определить иерархическую процедурную структуру диалогового процессора АЛЛ. В качестве компонент одного уровня в этом случае можно выделять процедуры, реализующие собственно функции диалога и обработки различных элементов входных строк, а управление выполнением этих процедур сосредоточить в ведущей (корневой) процедуре диалогового процессора, которая непосредственно может быть получена по его автоматной модели (путем необходимой детализации состояний). В качестве примера на рис. АПЛ/ЕС (МЭИ), называемой далее M0N1T0Rом. Каждая дуга на этой диаграмме отмечается входным символом (переменная IS ) или условием, по которому она выбирается, и, возможно, списком имен процедур (в угловых скобках "<" и ">"), выполнение которых сопровождает переход по этой дуге. Дуга с условием ELSE в некотором узле выбирается в том случае, если не выполняются условия выбора остальных дуг. Если из некоторого узла выходит единственная дуга, то условия ее выбора на диаграмме опускаются. АПЛ/ЕС (ШИ) - с назначенного в данный момент устройства ввода) и соответствуют поступлению в систему очередной входной строки. Состояния Еа , Но и В о соответствуют началу очередного шага диалога, а состояние БМ , НМ и DM - началу обработки очередной строки. Тройки состояний (БМ, Si , Е0 ), (НМ, Sz , Но ) и (DM, S3 , D0) детализируют обобщенные состояния БМ. НМ и DM автоматной модели диалогового процессора. Символы входной строки, анализируемые в процедуре MONITOR , выбираются во входную переменную IS (слева направо) процедурой NS . Исходно после ввода строки (процедурой INPUT) в переменной IS устанавливается самый левый символ этой строки, отличный от пробела. НЕ /ЗОЕЙ и REHERDER.