Solved problem dfa language