下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。

● 下图所示为两个有限自动机M1和M2（A是初态、C是终态）， （48） 。

（48）

A. M1和M2都是确定的有限自动机

B. M1和M2都是不确定的有限自动机

C. M1是确定的有限自动机，M2是不确定的有限自动机

D. M1是不确定的有限自动机，M2是确定的有限自动机

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

（31）

A.abab

B.aaaa

C.babb

D.abba

●下图所示为一个有限自动机（其中，A 是初态、C是终态），该自动机可识别 (49)。

(49)

A．0000

B．1111

C．0101

D．1010

A.等价

B.都是二义的

C.都是无二义的

D.它们的状态数相等

● 下图所示为一个有限自动机（其中，A是初态、C是终态），该自动机识别的语言可用正规式（49）表示。

A.(0|1)*01 B.1*0*10*1 C.1*(0)*01 D.1*(0|10)*1*

下图所示的非确定有限自动机（S0为初态，S3为终态）可识别字符串（）。

A.bbaa

B.aabb

C.abab

D.baba

A.MI 和 M2 的状态数相等

B.Ml 和 M2 的有向弧条数相等

C.M1 和 M2 所识别的语言集相等

D.Ml 和 M2 状态数和有向弧条数相等