Changing State class to handle non deterministic automaton.
Refactors the classes.
Implements NDfaController.
Implements an example for NDfaController.
Finishes refactoring the automaton names.