Рис. 2. Алгоритм, позволяющий реализовать произвольную иерархию автоматов (графов переходов) с любым уровнем вложенности.