Синтаксически управляемая обработка данных

• Автор: Мартыненко, Борис Константинович
• Шифр специальности: 05.13.17
• Научная степень: Докторская
• Год защиты: 1997
• Место защиты: Санкт-Петербург
• Количество страниц: 364 с. : ил.

V'-'’

С.-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Б. К. Мартыненко
СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ОБРАБОТКА ДАННЫХ
УЛК 519.685.3 М25
Редактор Т. В. Мызникова
Рецензенты: д-р физ.-мат. наук проф. С. Н. Баранов (Ин-т информатики и
автоматизации РАН), канд. техн. наук, доц. В.П.Котляров (С.-Петербургский техн. ун-т)
Печатается по постановлению Редакционно-издательского совета С.-Петербургского университета
Мартыненко Б. К. Синтаксически управляемая обработ-М25 ка данных. — СПб: Изд-во С.-Петербургского университета, 1997. 364 с.
ЕШИ 5-
В монографии описывается актуальная для практической информатики технология синтаксически управляемой обработки данных, использующая кусочно-регулярную аппроксимацию КС-языков. Трансляции специфицируются при помощи ЛВКР-грамматик и реализуются посредством контекстно чувствительных онлайновых языковых процессоров. Технология применяется для решения синтаксических проблем, а также поддерживает объектно-синтаксическую парадигму программирования, которая выражается метафорической формулой ’’программа = объекты + грамматика”.
Книга предназначена для специалистов, работающих в области теории и технологии программирования, а также для студентов, изучающих информатику.
Библиогр. 19 назв. Табл. 27. Ил. 73.
Тем.план 1997, №63
(§) Б. К. Мартыненко, 1997
(с) Издательство
С.-Петербургского
ІБІШ 5-288-01768-9 университета, 1997
ОГЛАВЛЕНИЕ
Предисловие
Введение. ОБЗОР ОСНОВНЫХ КОНЦЕПЦИЙ И ВОЗМОЖНОСТЕЙ
БУЛТАХ-ТЕХНОЛОГИИ
1. Задание управляющих структур
2. Трансляционные 1ШМР-грамматики
3. Сплайновые процессоры как средство реализации трансляций
4. Регулярные сплайны
5. Эквивалентные преобразования трансляционных грамматик
6. Трансляционные граф-схемы
7. Челночные трансляции
8. Спецификация микролексики
9. Комплексирование процессоров
10. Встроенные функции управляющего процессора
11. Генерация диагностических сообщений
12. Генерация тестов
13. Спецификация вычислений
14. Объектно-синтаксическое программирование
15. Структурная модульность
16. Среда отладки средств синтаксически управляемой обработки данных
17. Языки спецификации операционного окружения
18. Перспективы развития БУТЯТАХ-технологии ,
Глава 1. СПЕЦИФИКАЦИЯ И РЕАЛИЗАЦИЯ ТРАНСЛЯЦИЙ
1.1. Способы спецификации и реализации трансляций в БУГЯ-
ТАХ-технологии
Анализирующие трансляционная грамматика и процессор
(33). Порождающие трансляционная грамматика и процессор (36).
1.2. Трансляционная грамматика
Управляющая ГШМГ-грамматика (37). Описание операционной среды (38). Трансляция, определяемая трансляционной грамматикой (38).

Вход

Вход
&{Ч,а,Х) = {рф,г)
Рис. 1.1. Магазинный преобразователь. а — текущая конфигурация, б — следующая конфигурация.
<3 — множество состояний управления, Е — входной алфавит,
Г — магазинный алфавит, А — выходной алфавит.
В первом случае происходит продвижение по входной цепочке к следующему символу (непустое движение), а во втором — стирание верхнего символа магазина (пустое или с-движение). При использовании резольверов выбор движения зависит также и от текущего состояния операционной среды. Точнее, на каждом такте работы процессора в зависимости от текущего состояния управления, входного символа и состояния операционной среды, тестируемого предикатами, ассоциированными с резольверными символами, выбирается управляющий элемент, который определяет, какую цепочку поместить на вершину магазина (над верхним символом магазина), какие преобразования операционной среды выполнить и принять ли текущий входной символ. При этом переходное состояние определяется по-разному в зависимости от того, принимается ли текущий входной символ или нет. Если символ принимается (непустое движение, рис. 1.2*), то новое (переходное) состояние определяется непосредственно данным управляющим элементом. Если символ не принимается (пустое движение, рис. 1.3), то новое (возвратное) состояние определяется по текущему (подав-
* Пояснение обозначений, использованных на рис. 1.2, 1.3, а также точное определение анализирующего процессора и трансляции, им реализуемой, можно найти в разд. 1.3.