enhancement:

when two DFA's don't accept the same language the program returns which is the string accepted by DFA1 and rejected by DFA2