In the case of the 3-testable merging criterion, state q 3 is merged with other states (like q 3 ) that show the same incoming path of three transitions (a b c).
in the 2, 1-local merging criterion case, state q 2 is merged with other states (like q 2 ) that also have the same incoming path of two transitions (a b) and an outgoing transition (c).