As long as no state is permanently excluded from either of the steps, the algorithm will eventually arrive at the correct solution.
Якщо жоден зі станів не виключатиметься назавжди з будь-якого з кроків, то алгоритм зрештою прийде до правильного розв'язку.