Пошук академічних текстів

Інформація × Реєстраційний номер 0405U003541, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 23-09-2005 Статус Запланована Назва роботи Зображення автоматів за допомогою визначальних співвідношень їх поведінки Здобувач Сенченко Олексій Сергійович, Керівник Грунський Ігор Сергійович Опонент Капітонова Юлія Володимирівна Опонент Резников Ілля Ігоревич Опис Дисертацію присвячено дослідженню структурних і метричних властивостей систем визначальних співвідношень (СВС) для повністю визначених і часткових ініціальних скінчених автоматів. Знайдено мінімальну так звану канонічну СВС та розглянуто її структуру. Знайдено критерій, за яким скінчене бінарне відношення є СВС для заданого скінченого автомата. Знайдено розв'язок проблеми ізоморфізма для ініціальних скінчених автоматів без побудови цих автоматів по їхніх СВС. Показано зв'язок класу СВС для даного автомата з його обходами. Введено поняття визначальної системи(ВС) для часткових автоматів, яке узагальнює поняття СВС для повністю визначених автоматів. Знайдено мінімальну ВС для часткового автомата і досліджено її структуру. Знайдені необхідні та достатні умови, за яких система є визначальною для деякого скінченого автомата, для заданого скінченого автомата. Дата реєстрації 2005-09-23 Додано в НРАТ 2020-04-04 Закрити