下图是一有限自动机的状态转换图，该自动机所识别语言的特点是(45)，等价的正规式为(46)。

某一确定有限自动机(DFA)的状态转换图如下图，与该自动机等价的正规表达式是(28)，图中(29)是可以合并的状态。

(56)

A．ab*a

B．ablab*a

C．a*b*a

D．aa*lb*a

● 下图是一有限 自动机的状态转换图，该自动机所识别语言 的特点是 （45 ） ，

等价 的正规式为 （46 ） 。

45 ）A. 由符号a、b 构成且包含偶数个a 的串

B. 由符号a、b 构成且开头和结尾符号都为a 的串

C. 由符号a、b 构成的任意串

D. 由符号a、b 构成且 b 的前后必须为a 的串

（46 ）A. (a|b)*(aa)* B. a(a|b)*a C. (a|b)* D. a(ba)*a

图2-7为一确定有限自动机(DFA)的状态转换图，与该自动机等价的正规表达式是(14)，图中的(15)是可以合并的状态。

A．[a｜(ba)]*bb(a*b*)*

B．(a｜b)*bba*｜b*

C．(a*b*)bb(a｜b)*

D．(a｜b)*bb(a*｜b*)*

某一确定有限自动机(DFA)的状态转换图如下，与该自动机等价的正规表达式是(28)，图中(29)是可以合并的状态。

(42)

A．(a|ba)*bb(a*b*)*

B．(a|ba)*bba*|b*

C．(a*|b*)bb(a|b)*

D．(a|b*)*bb(a*|b*)

设有穷自动机的状态转换图如下图，该自动机识别的语言是(29)。

A．∑={0，1)上的所有符号串的集合，但不包含空符号串

B．空符号串集合

C．∑={0，1)上的所有符号串的集合，包含空符号串

D．空集合

A.(a|b)* bb(a*b*)*

B.(a|b)*bba*|b*

C.(a*b*)bb(a|b)*

D.(a*|b*)*bb(a*|b*)

● 下图所示的有限自动机中，s0 是初始状态，s3 为终止状态，该自动机不能识别 （31）。

（31）

A.abab

B.aaaa

C.babb

D.abba

● 下图所示的有限自动机中， 0是初始状态， 3是终止状态，该自动机可以识别 （22） 。

（22）

A. abab

B. aaaa

C. bbbb

D. abba

● 下图所示的有限自动机中，0 是初始状态，3 是终止状态，该自动机可以识别 （22） 。

（22）

A. abab

B. aaaa

C. bbbb

D. abba

某有限状态自动机的状态图如下图所示(状态0是初态，状态2是终态)，则该自动机不能识别______。

A．abab

B．aabb

C．bbaa

D．Bbab

● 某有限状态自动机的状态图如下图所示（状态 0是初态，状态2是终态），则该自动机不能识别 （30） 。

(30)

A. abab

B. aabb

C. bbaa

D. bbab