typos
whitespace
multiple minimization test
non-reachable states cannot be in DFAs
Automaton::isDeterministic() refactored
minimization improved
TODOs updated
refactoring
normalization tests added