makeEmptyString

Returns a new (deterministic) automaton that accepts only the empty string.