Антоненко О. С. Напівгрупи скінченно автоматних перетворень.

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0413U001083

Здобувач

Спеціальність

  • 01.01.08 - Математична логіка, теорія алгоритмів і дискретна математика

24-12-2012

Спеціалізована вчена рада

Д 26.001.18

Київський національний університет імені Тараса Шевченка

Анотація

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

Файли

Схожі дисертації