Резников І. І. Функції росту автоматів Мілі з двома станами над двоелементним алфавітом та напівгрупи, що ними породжуються

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