got rid of output state in dfa