def simplify_DFA(states, alphabet, transitions, initialState, finalStates):
    """ Return given DFA with every transition to initialState removed
        for clarity """
    new_transitions = []
    for from_s, to_s, s in transitions:
        if to_s != initialState:
            new_transitions.append( (from_s, to_s, s) )
    return (states, alphabet, new_transitions, initialState, finalStates)