Implemented Difference, and Equality modulo test for emptiness
Equality test for DFA implemented
NFA functionality in terms of determinization and DFA functionality
Merge branch 'DFAEquivalence'