Algorithm for Identification of Infinite Clusters Based on Minimal Finite Automaton

Figure 4

The FA traversing algorithm for the two examples from Figure 1.