Сенченко О. С. Зображення автоматів за допомогою визначальних співвідношень їх поведінки

Дисертацію присвячено дослідженню структурних і метричних властивостей систем визначальних співвідношень (СВС) для повністю визначених і часткових ініціальних скінчених автоматів. Знайдено мінімальну так звану канонічну СВС та розглянуто її структуру. Знайдено критерій, за яким скінчене бінарне відношення є СВС для заданого скінченого автомата. Знайдено розв'язок проблеми ізоморфізма для ініціальних скінчених автоматів без побудови цих автоматів по їхніх СВС. Показано зв'язок класу СВС для даного автомата з його обходами. Введено поняття визначальної системи(ВС) для часткових автоматів, яке узагальнює поняття СВС для повністю визначених автоматів. Знайдено мінімальну ВС для часткового автомата і досліджено її структуру. Знайдені необхідні та достатні умови, за яких система є визначальною для деякого скінченого автомата, для заданого скінченого автомата.