Registration Number
0413U001083, Candidate dissertation
Status
к.ф.-м.н.
Date
24-12-2012
popup.evolution
.
Title
Semigroups of finite automata transformation.
Author
Antonenko Oleksandr Sergijovych,
popup.head Verbanez Pavlo Dmytrovych
popup.opponent Глазунов Микола Михайлович
popup.opponent Олійник Андрій Степанович
popup.rada
Taras Shevchenko Kiev University
Description
Дисертація присвячена дослідженню напівгруп, породжених автоматами спеціальних класів - автоматами без розгалуження і малорухомими автоматами і відшуканню класу функцій переходів автоматів Мілі, які породжують лише скінченні напівгрупи. Описані напівгрупи, що породжуються автоматами без розгалуження. Описано максимальні умови на функції переходів, при яких всі автомати Мілі породжують скінченні напівгрупи. Знайдено породжуючу множину напівгрупи, породженої малорухомими автоматними перетвореннями скінченного типа над двосимвольним алфавітом і доведено відсутність мінімальної породжуючої множини.
Registration Date
2013-01-15
popup.nrat_date
2020-04-04 / 2026-06-30