Add ENFA to DFA converter skeleton
Finish ENFA to DFA converter
Refactor DFA to use DFA.transition()
Implement distinguishability