Исследование и разработка синмакропроцессорного метода автоматизированного проектирования языковых конверторов

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

СОДЕРЖАНИЕ
ВВЕДЕНИЕ

ГЛАВА I. ПРОБЛЕМНООРИЕНТИРОВАННЫЕ ЯЗЫКОВЫЕ ПРОЦЕССОРЫ И

АВТОМАТИЗАЦИЯ ИХ ПРОЕКТИРОВАНИЯ.

1.1. Организация лингвистической среды в проблемноориентированных системах математического обеспечения .

1.2. Реализация ПОЯП на базе концепции трансформации

ЯП. Языковые конверторы

1.3. Обзор литературы по вопросам построения

САПР ЯП

1.4. Синмакропроцессорная реализация САПР ЯП.

1.5. Выводы по главе I

ГЛАВА 2. ЭЛЕМЕНТЫ ТЕОРИИ СИНМАКРШРОЦЕССОРНОЙ ОБРАБОТКИ
2.1. Введение
2.2. Теория синтаксического анализа и перевода
2.3. Построение формального описания семантики ЯВУ средствами атрибутивной синмакропроцессорной обработки.
2.4. Выводы по главе 2.
ГЛАВА 3. ПРИНЦИПЫ ПОСТРОЕНИЯ ЯЗЫКОВЫХ КОНВЕРТОРОВ НА ОСНОВЕ
СИНМАКРО1Р0ЦЕСС0РНЫХ СПК.
3.1. Элементы формального и неформального описания металингвистических средств СМОК .
3.2. Генерационная схема макрореализации ЯК
3.3. Примеры использования СМОК для реализации
языковых процессоров
3.4. Выводы по главе 3.
ГЛАВА 4. РЕАЛИЗАЦИЯ МАКРОСИСТЕМЫ АВТОМАТИЗИРОВАННОГО
ПРОЕКТИРОВАНИЯ КОНВЕРТОРОВ СМОК
4.1. Организация вычислительного процесса в макросистеме СМОК.
4.2. Особенности интерпретации изобразительных
средств СМОК при построении ЯК.
4.3. Основные принципы обработки макросистемой СМОК описаний ЯК и текста конвертируемых программ . .
4.4. Замечания по опыту разработки и эксплуатации макросистемы СМОК
4.5. Выводы по главе 4.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


В общем случае для трансформации некоторого ПОЯ SL в БЯ ТЪ может потребоваться несколько последовательных конвертирующих подсистем, суммарные затраты на реализацию которых могут быть значительно ниже затрат на реализацию единого транслятора с SL на TL . Допустим, мы имеем некоторую систему построения конверторов (СПЮ • Эта система оперирует с тремя множествами VT , VebJX и VBX : Vr - это конечное множество терминальных символов, Vex и Увых соответственно, множества входных и выходных символов. Тогда ЯК для некоторого языка 5L будет определяться в СПК парой (Fyz) , Где F представляет собой некоторый формализм по отношению kVt , такой что F^ Vj? Функция г для каждого синтаксически правильного программного описания ре. F и допустимой строки cl е V*x порождает вполне определенную выходную строку z(p 7d)^ У? Как правило, функция Т представляет собой суперпозицию двух функций-отображений^ и ? Функция f является синтаксическим отображением языка SL и задается обычно в той или иной модификации ЕНФ. Функция rj - это семантическое отображение трансформации изБЬ в TL . Лукашевича, двухуровневые грамматики ван Вейнгаар-дена, различные атрибутивные схемы). Представление функции $ в виде последовательности более простых синтаксических отображений Л,**, . О - код для 8 С Р Ь С А2 Ъ1, Р - код для языка ПАСКАЛЬ С АА8 1 1Я№и9для языка АЛГОЛ С ]0А 3 . СПТ (например МС/&2 Г 1 ) , на базе так называемого метода трансформации атрибутов. Исходя из вышеизложенного и учитывая имеющийся опыт использования концепции трансформации для реализации ПОЛИ С 8Ъ,1 , можно сделать вывод о перспективности применения поэтапной трансформации в задачах разработки САПР ЯП. Остановимся теперь на вопросе определения видов трансформации и методов их реализации при построении ЯК. Б настоящее время нашли применение два типа трансформации: текстовая, использующая аппарат, аналогичный макрорасширению и графическая, основывающаяся на использовании дерева абстрактного синтаксиса С ] . Любой из указанных типов трансформации подразделяется на три вида: непосредственная, косвенная и инструментальная. Непосредственная трансформация представляет собой наиболее простой вид и подразумевает наличие в БЯ конструкций, семантически эквивалентных конструкциям трансформируемого ЯП. В противном случае, осуществляется косвенная трансформация путем конвертирования конструкций входного языка в определенную последовательность операторов и (или) подпрограмм на БЯ, моделизируюших с той или иной точностью семантику конструкций входного языка средствами БЯ. БЯ. В этих случаях для трансформации необходимо применение тех или иных специальных возможностей, которые содержатся не в Ш, а в тех инструментальных средствах, которые используются для трансформации. Необходимость в подобных инструментальных средствах определяет развитие систем построения конверторов (СПК), автоматизирующих процесс разработки ЯК для сложных видов трансформации. Существующие методы реализации СПК могут быть классифицированы на основании их базовых концепций. Различаются концепции расширяемых языков, макропроцессорных систем перевода (МП), препроцессоров и систем построения трансляторов (СПТ). Классификация СПК, применяемых в настоящее время, приведена на рис. Основными преимуществами макрореализации СПК является простота, гибкость и универсальность. В табл. МП, используемых для реализации СПК. Наиболее развитые МП позволяют задавать определенные синтаксические классы для элементов макровызовов, что относит их к классу синтаксических макропроцессоров (СМИ). Программирование МП значительно проще, чем программирование транслятора обычного типа, поскольку в функции МП входит лишь трансформация текста из одной формы в другую и не входят операции, характерные для трансляторов (распределение памяти, оптимизация, кодогенерация). Особенно удобна макрореализация, как метод построения ЯК, когда изобразительные средства входного языка и БЯ пересекаются 0,1. Подобное пересечение (см. ПОЯ, общеалгоритмические средства которых могут быть представлены аналогичными средствами БЯ (обычно ЯВУ).