. . . "S1 and S2 are states and S1 is an accepting state or a final state." . .