Аннотация:
В работе введены в рассмотрение 2-исходящие графы, обобщающие функциональные графы и моделирующие дискретные динамические системы специального вида. Классифицированы вершины и дуги 2-исходящего графа, определены пути на этих графах и доказаны некоторые свойства этих путей. В итоге построен эффективный алгоритм, который с линейной сложностью строит финальные вершины для путей, начинающихся в каждой из вершин 2-исходящего графа и доказана его корректность.