Схемы программ с константами

ОГЛАВЛЕНИЕ
Страница
Введение
ГЛАВА 1. Алгебраическая модель программ с константами
1.1. Алгебраические модели программ
1.2. Матричноалгебраические модели программ
1.3. Модель программ с константами.
ГЛАВА 2. Подкласс схем с однократным вхождением константы
2.1. Критерий включения в классе А.
2.2. От схем программ к диаграммам.
2.3. Проблема включения области определения для диаграмм из йгад
и проблема включения в М
2.4. Решение задач 13.
ГЛАВА 3. Сложность проблемы включения
3.1. Каркас схемы
3.2. Алгоритм проверки включения схем
3.3. Сложность проблемы включения
ГЛАВА 4. Концепция альтернативного алгоритма проверки включения схем
4.1. От схем программ с константами к диаграммам.
4.2. Задачи для схем программ без констант.
4.3. Конечные автоматы, используемые для проверки критерия вклю
чения диаграмм.
4.4. Методика проверки требования 2 леммы 7.
ГЛАВА 5. Альтернативный алгоритм проверки включения в
5.1. Алгоритм включения диаграмм
5.2. Использование конечных автоматов для проверки отношений над
схемами программ без констант.
5.3. Алгоритмы над автоматами.
5.4. Оценка сложности.
Заключение
Литература