Provides classes necessary for the conversion of an NFA to a DFA. This is essentially a graphical front end to {@link automata.fsa.NFAToDFA}.