Введение
ГЛАВА I. Особенности инструментальных средств символьной
обработки данных в АСУ 9
1.1. Задачи символьной обработки данных в АСУ и методы их решения
1.2. Средства автоматического возврата и поиска по образцу в языках обработки символьных данных. 23
1.3. Требования, предъявляемые к инструментальным средствам символьной обработки данных в АСУ. 34
Выводы 37
ГЛАВА 2. Теоретические основы построения инструментальных средств символьной обработки данных с возвратами 40
2.1. Исчисление общего вида как формальная модель поиска с возвратами 41
2.2. Внешнее представление структур данных. Состав и семантика базисных операций и предикатов 48
2.3. Графовое представление процедур поиска вывода. 53
2.4. Детонационная семантика программ, представленных на языке GR-функций 70
Выводы 78
ГЛАВА 3. Инженерные основы проектирования инструментальных средств поиска вывода в счислениях общего вида. 80
3.1. Язык Рекурсивных Функций над Символьными выражениями (РФС-язык) 81
3.2. Общая схема трансляции РФС-языка 90
3.3. Выбор внутреннего представления данных 94
3.4. Абстрактная машина для интерпретации базисного языка ЮЗ
3.5. Методика программирования типових процедур поиска вывода средствами РФС-языка 112
Выводы 124
ГЛАВА 4. Реализация, внедрение, экспериментальная проверка. 126
4.1. Общая схема программной реализации РФС-системы 127
4.2. Реализация транслирующих модулей PiC-системы и организация управления памятью 132
4.3. Внедрение РФС-системы в АСУ МИШ для реализации выдачи ответов на нерегламентированный запрос. 142
4.4. Внедрение RSC-системы в Главном научно-методическом центре ЩЙИНТИ для решения задачи анализа и синтеза сквозной программы специальности 149
Выводы 160
ЗАКЛЮЧЕНИЕ 162
ЛИТЕРАТУРА 164
Приложение I. Инструкция по эксплуатации РФС-системы 174
Приложение 2. Алгоритмы трансляции. Тексты транслирующих модулей РФС-системы 193
Приложение 3. Инструкция по эксплуатации пакета прикладных
программ АСПС 231
Приложение 4. Акты о внедрении 2
