Updated DFA.py

Updated some functions of DFA, still need to fix union transition
function.