DFA design for all string that always ends with aa