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

  Завантажити