Returns an automaton that accepts the union of the empty string and the language of the given automaton. This may create a dead state.
Complexity: linear in number of states.