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

  Скачати повний текст