Search academic texts

Information × Registration Number 0405U003541, Candidate dissertation Status к.ф.-м.н. Date 23-09-2005 popup.evolution o Title Automata presentation by means of defining relations of their behaviour Author Senchenko Oleksij Sergijovych, popup.head Gruns'kyj Igor Sergijovych popup.opponent Капітонова Юлія Володимирівна popup.opponent Резников Ілля Ігоревич Description Дисертацію присвячено дослідженню структурних і метричних властивостей систем визначальних співвідношень (СВС) для повністю визначених і часткових ініціальних скінчених автоматів. Знайдено мінімальну так звану канонічну СВС та розглянуто її структуру. Знайдено критерій, за яким скінчене бінарне відношення є СВС для заданого скінченого автомата. Знайдено розв'язок проблеми ізоморфізма для ініціальних скінчених автоматів без побудови цих автоматів по їхніх СВС. Показано зв'язок класу СВС для даного автомата з його обходами. Введено поняття визначальної системи(ВС) для часткових автоматів, яке узагальнює поняття СВС для повністю визначених автоматів. Знайдено мінімальну ВС для часткового автомата і досліджено її структуру. Знайдені необхідні та достатні умови, за яких система є визначальною для деякого скінченого автомата, для заданого скінченого автомата. Registration Date 2005-09-23 popup.nrat_date 2020-04-04 Close