Беркович Є. Л. Групи, породжені скінченними автоматами спеціальних типів

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