1 documents found
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
Candidate dissertation
1
Senchenko Oleksij Sergijovych. Automata presentation by means of defining relations of their behaviour : к.ф.-м.н. : spec.. 01.05.01 - Теоретичні основи інформатики та кібернетики : presented. 2005-09-23; popup.evolution: .; Institute of Applied Mathematics and Mechanics of National Academy of Sciences of Ukraine. – , 0405U003541.
1 documents found

Updated: 2026-03-22