ОГЛАВЛЕНИЕ Введение
1 Основные понятия. Обзор литературы
1.1 Формальные языки
1.1.1 Определения.
1.1.2 Параллельная композиция языков
1.1.3 Регулярные и конечноавтоматные языки.
1.2 Конечные полуавтоматы
1.2.1 Определения.
1.2.2 Отношения на множестве полуавтоматов
1.2.3 Операции на множестве полуавтоматов.
1.2.4 Параллельная композиция полуавтоматов.
1.2.5 Уравнения и неравенства на множестве полуавтоматов.
1.2.5.1 Живое решение.
1.2.5.2 Безопасное решение
1.2.6 Обзор существующих подходов к решению
уравнений и неравенств на множестве полуавтомагов
1.3 Конечные автоматы
1.3.1 Определения.
1.3.2 Взаимосвязь между полуавтоматами и автоматами
1.3.3 Параллельная композиция автоматов.
1.3.4 Уравнения и неравенства на множестве автоматов
1.3.5 Обзор существующих подходов к решению
уравнений и неравенств на множестве автоматов.
1.4 Обзор задач, сводящихся к решению уравнений и
неравенств
1.4.1 Логический синтез.
1.4.2 Диагностика компоненты автоматной сети
1.4.3 Оптимизация компоненты автоматной сети
1.5 Выводы по главе
2 ПОЛУАВТОМАТНЫЕ УРАВНЕНИЯ И НЕРАВЕНСТВА
2.1 Решение неравенства А0яХ С
2.1.1 Множество решений неравенства.
2.1.2 Живые решения
2.1.2.1 Живые решения, реализующие конечный язык.
2.1.2.2 Совершенный полуавтомат.
2.1.2.3 Отношение Кемоделирования
2.1.2.4 Характеризация редукций живою решения, являющихся живыми решениями.
2.1.2.5 Наибольшая редукция решения,
являющаяся живым решением
2.1.3 Безопасные решения.
2.1.4 Живые безопасные решения.
2.2 Результаты компьютерных экспериментов
2.2.1 Теоретические оценки сложности наибольшего и наибольшего живою решений
2.2.2 Зависимость числа состояний решений от числа состояний в контексте и спецификации.
2.2.3 Зависимость числа состояний решений от
мощности алфавитов.
2.3 Выводы по главе
3 АВТОМАТНЫЕ УРАВНЕНИЯ И НЕРАВЕНСТВА
3.1 Решение автоматного неравенства АОХйС
3.1.1 Множество решений неравенства.
3.1.2 Живые решения.
3.1.3 Безопасные решения
3.1.4 Живые безопасные решения
3.2 Решение неравенства АОХйС для
полностью определнных автоматов
3.2.1 Множество решений неравенства.
3.2.2 Живые решения.
3.2.3 Безопасные решения
3.2.4 Живые безопасные решения
3.3 Решение уравнения А0Х С
3.4 Решение неравенства АОХС
3.5 Выводы по главе
Заключение
Литература
- Київ+380960830922