Фрагментные преобразования структуры многоленточных автоматов

Содержание
Введение.
Глава 1. Основные понятия и постановка задач.
1.1 Многоленточные автоматы
1.2 Фундаментальные проблемы многоленточных автоматов.
1.3 Область применения автоматов
1.3.1 Формальное проектирование программного обеспечения
1.3.2 Разработка цифровых устройств.
1.3.3 Лексический анализ
1.3.4 Компьютерная лингвистика
1.3.5 iтехнология.
1.3.6 Специализированные языки программирования
1.4 Единый подход решения фундаментальных проблем.
Глава 2. Фрагмеитныс преобразования.
2.1 Основные понятия
2.2 Система преобразований Т
2.3 Полнота системы Т.
Глава 3. Проблема эквивалентности многоленточных автоматов
3.1 Трансформационный метод.
3.2 Модификация трансформационного метода.
3.3 Решение проблемы эквивалентности многоленточных автоматов, модифицированным трансформационным методом
3.3.1 Конечные автоматы.
3.3.2 Однородные автоматы.
Глава 4. Проблема минимизации и с решение для некоторых
множеств многоленточных автоматов.
4.1 Общее описание процедуры минимизации
4.2 Минимизация по сложным элементам
4.3 Минимизация по простым элементам
4.4 Окончательная минимизация
4.5 Алгоритмы минимизации
4.6 Сравнение алгоритмов минимизации.
4.7 Применение многоленточных автоматов в многопроцессорных
системах.
Заключение.
Список литературы