Аннотация:Рассмотрим задачу обхода некоторых специальных видов графов автоматом,
имеющим бесконечную память из двух стеков. Будем говорить, что автомат решает
проблему обхода рассматриваемых графов, если на любом из рассматриваемых графов с
любой стартовой вершиной он останавливается через конечное число шагов и пройденный
им маршрут является обходом.
Необходимо построить алгоритм, обходящий все вершины рассматриваемых графов
вне зависимости от того, из какой вершины был начат обход. Задача оптимальности
алгоритма не рассматривается.