Сенченко О.С. Зображення автоматів за допомогою визначальних співвідношень їх поведінки. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.01 - теоретичні основи інформатики та кібернетики. - Інститут кібернетики імені В.М.Глушкова НАН України, Київ, 2005. Дисертаційну роботу присвячено дослідженню структурних і метричних властивостей систем визначальних співвідношень для повністю визначених і часткових ініціальних скінчених автоматів. Знайдено мінімальну так звану канонічну систему визначальних співвідношень та розглянуто її структуру. Запропоновано процедуру редукції будь-якої скінченої системи визначальних співвідношень до канонічної. Знайдено критерій, за яким скінчене бінарне відношення є системою визначальних співвідношень для заданого скінченого повністю визначеного автомата. Знайдено розв'язок проблеми ізоморфізма для ініціальних скінчених автоматів без побудови цих автоматів по їхніх системах визначальних співвідношень. Показано зв'язок класу систем визначальних співвідношень для даного автомата з його обходами. Введено поняття визначальної системи для часткових; автоматів, яке узагальнює поняття системи визначальних співвідношень для повністю визначених автоматів. Знайдено мінімальну визначальну систему для часткового автомата і досліджено її структуру. Знайдені необхідні та достатні умови, за яких система є визначальною для деякого скінченого автомата. Знайдено конструктивний критерій, за яким скінчена система є визначальною для заданого скінченого автомата. Ключові слова: автомат, система визначальних співвідношень, базис досяжності, канонічна система визначальних співвідношень, редукція, обхід, визначальна система, ядро автомата, сумісність систем, визначеність систем.