标签：DFA中终态唯一、文法G[S]S→aA|aA→aA|bA|a|b，描述的语言是A(a|b)bBa(aa|bb)C(aa|bb)bDa(a|b)