makeEmpty

Returns a new (deterministic) automaton with the empty language.