Contents:
Builds the Automaton corresponding to the empty language. :returns: The corresponding Automaton.