“…Since 2 is non oriented, (22, ε) is a rewriting rule of R {0,1,2},{(0,2)} and the label reduces to ε. The execution of Algorithms 1, 2, and 3 rule can be parallelized to speed up the computation time [37]. Likewise, the left-hand side of S O (Figure 29) contains a single node and arcs labeled (i, i) for each dimension i in {1, 2}.…”