下图是一有限自动机的状态转换图，该自动机所识别语言的特点是（(2006年下半年软件设计师上午综合知识真题解析)

下图是一有限自动机的状态转换图，该自动机所识别语言的特点是 （1） ，等 价的 正 规 式 为 （2）。

（1）A、由符号 a、b 构成且包含偶数个 a 的串
B、由符号 a、b 构成且开头和结尾符号都为 a 的串
C、由符号 a、b 构成的任意串
D、由符号 a、b 构成且 b 的前后必须为 a 的串
（2）A、(a|b)*(aa)*
B、a(a|b)*a
C、(a|b)*
D、a(ba)*a