Returns a new automaton accepting the same language with added transitions to a dead state so that from every state and every label there is a transition.