Инструментальные средства символьной обработки данных в АСУ

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА I. Особенности инструментальных средств символьной
обработки данных в АСУ.
1.1. Задачи символьной обработки данных в АСУ и методы их решения.Ю
1.2. Средства автоматического возврата и поиска по образцу в языках обработки символьных данных. .
1.3. Требования, предъявляемые к инструментальным средствам символьной обработки данных в АСУ. . .
Выводы.
ГЛАВА 2. Теоретические основы построения инструментальных
средств символьной обработки данных с возвратами
2.1. Исчисление общего вида как формальная модель поиска с возвратами
2.2. Внешнее представление структур данных. Состав и семантика базисных операций и предикатов. .
2.3. Графовое представление процедур поиска вывода. .
2.4. Денотационная семантика программ, представленных на языке Ж.функций.
Выводы.
ГЛАВА 3. Инженерные основы проектирования инструментальных
средств поиска вывода в исчислениях общего вида.
3.1. Язык Рекурсивных Функций над Символьными выражениями РФСязык.
3.2. Общая схема трансляции РФСязыка
3.3. Выбор внутреннего представления данных
3.4. Абстрактная машина для интерпретации базисного языкаЮЗ
3.5. Методика программирования типовых процедур поиска
вывода средствами РФСязыка
Выводы.
ГЛАВА 4. Реализация, внедрение, экспериментальная проверка.
4.1. Общая схема программной реализации РФСсистемы . .
4.2. Реализация транслирующих модулей РФСсистемы и организация управления памятью
4.3. Внедрение РФСсистемы в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос. . .
4.4. Внедрение РФСсистемы в Главном научнометодическом центре ЦНИИНТЙ для решения задачи анализа и синте
за сквозной программы специальности
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА