Выдержка из книги
Кудрявцев В.Б.
Введение в теорию абстрактных автоматов
Инициальный автомат 5tq называется инициально связным, если для любой отличной от q вершины q графа переходов G автомата 91 существует такая поеледовательность qv0, vit... Vi i ведет ребро. Автомат 51 называется древовидным, если его граф переходов представляет собой ориентированное от корня дерево, к концевым вершинам которого присоединены петли.
