If a group of states all have identical outgoing transitions to states not in the group, then create a new superstate of of these. Replace common outgoing transitions by transitions from .

If a group of states all have identical outgoing transitions to states not in the group, then create a new superstate of of these. Replace common outgoing transitions by transitions from .
