simplifying automata transitions. multiple transitions between same states.