Changed DFA to have considerably less states