Применение итераций конечных языков в алгоритмических задачах теории формальных языков

Оглавление
Введение
Исторический обзор .
Общая характеристика диссертации .
Структура диссертационной работы
Применяемые обозначения.
1 Итерации языков и конечные автоматы
1.1 Алгоритм генерации специальных морфизмов . .
1.2 Необходимое условие равенства бесконечных итераций
1.3 Алгоритмы генерации дополненных максимальных префиксных кодов
1.4 Итерации языков и конечные автоматы
2 Случай бесконечных итерируемых языков
2.1 Итерации языков как абстрактные семейства . .
2.2 Подмоноиды супермоноида
2.3 Эквивалентность для случая бесконечных итерируемых языков.
3 Модели бесконечных итерируемых языков .
3.1 Специальное описание грамматических структур КСязыков.
3.2 Итерации языков и проблема звездной высоты .
Оглавление
3.3 Алгоритмы специального декодирования.
Заключение
Основные результаты диссертации
Литература