Графы групповых автоматов

В работе вводится понятие граф автомата. Рассматривается задача определения принадлежности автомата к классу групповых автоматов по его графу. Приводится свойство графов групповых автоматов. Доказана теорема о существовании группового автомата с графом заданного вида.