Интерпретационные методы в теории алгоритмических алгебр Суржко, Сергей Васильевич

brief description

Суржко, Сергей Васильевич.
Интерпретационные методы в теории алгоритмических алгебр : диссертация ... доктора физико-математических наук : 01.03.01. - Киев, 1996. - 197 с.
Оглавление диссертациидоктор физико-математических наук Суржко, Сергей Васильевич
СОДЕРЖАНИЕ
Введение
Глава 1. Алгебры 0-алгоритмов и свободные алгоритмические алгебры
1. Основные определения
1.1. Недетерминированные операторы.- Алгебра
П-алгоритмов
1.2. Алгебра недетерминированных алгоритмов
1.3. Алгебра детерминированных алгоритмов
2. Редукты алгебры О-алгоритмов
3. П-языки
4. Свободные алгебры П-алгоритмов. Связь
с алгеброй Клини
5. Свободные алгебры детерминированных алгоритмов
6. Свободные алгебры недетерминированных алгоритмов
Глава 2. Формальные языки с интерпретацией алфавита в булевой алгебре
1. Вводные определения
2. Верхняя полурещетка и и ее свойства
3. Связь с конечными автоматами
4. Регулярные языки над интерпретированным алфавитом
5. Алгоритмические проблемы
6. Классификация языков над интерпретированным алфавитом
7. Разрешимость проблемы тождества в свободных алгебрах недетерминированных алгоритмов
о
Глава 3. Сетевые динамические модели регулярных схем операторов
1. Генераторы дискретных процессов (ГДП). Основные определения
2. Связь с сетями Петри
3. Свободные ГДП
4. Связь с частично коммутативными моноидами и
языками следов
5. Полугрупповые свойства свободного языка ГДП
6. Многоуровневое представление ГДП
7. Многоуровневые алгоритмические системы. Представление регулярных схем операторов в виде ГДП
8. Организация вычисления значений оператора алгоритмической алгебры, заданного ГДП
Глава 4. Специальные классы алгоритмических алгебр. Некоторые приложения
1. Регулярные схемы над памятью. Связь с дискретными преобразователями
2. Вероятностью оценки алгоритмических процессов. Марковские алгоритмические алгебры
3. Некоторые приложения
3.1. Моделирование и анализ системы управления предприятием
3.2, Декомпозиция информационного фонда
на базы данных
Заключение
Список литературы
Приложение