Added Error checking of DFA and a malformed DFA to encode for testing