Титул
Цель
одАНЛДУ
Пример
содАНЛДУ
Теорема
Классиф-я
Генерация
Решение
alg_analyser
Экспер-ты
Диагр-ма 1
Диагр-ма 2
Web-SynDic
Заключ-е 1
Заключ-е 2
Результаты
Конец
Теоретические результаты
Выполнено развитие методов теории систем одАНЛДУ.
Сформулирована и доказана теорема о преобразовании произвольной системы одАНЛДУ к двум частным классам.
Выделен класс симметричных систем одАНЛДУ и изучены их свойства.
Разработаны алгоритмы генерации специальных классов и произвольной системы одАНЛДУ.
Разработаны двойственные алгоритмы решения произвольных систем содАНЛДУ и одАНЛДУ.
Разработана технология автоматизации тестирования, экспериментального анализа и сравнения алгоритмов решения систем одАНЛДУ.
Петрозаводск - 2005