下图所示为一个非确定有限自动机(NFA)，S0为初态(S3为终态。该NFA识别的字符串分（ ）。

A.a*ba

B.(ab)*a

C.ab*a

D.a(ba)*

A.0*|(0|1)0

B.(0|10)*

C.0*((0|1)0)*

D.0*(10)*

A.0*|(0|1)0

B.(0|10)*

C.0*((0|1)0)*

D.0*(10)*

A.DFA

B.NFA

C.只能有一个初态

D.终态唯一

A.NFA

B.只能有一个初态

C.终态唯一

D.DFA

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

A.bbaa

B.aabb

C.abab

D.baba

A.A.DFA;NFA

B.B.NFA;DFA

某一非确定性有限自动机(NFA)的状态转换图如图2-6所示，与该NFA等价的正规式是(12)，与该NFA等价的DFA是(13)。

A．0*｜(0｜1)0

B．(0｜10)*

C．0*[(0｜1)0]*

D．0*(10)*

某一非确定性有限自动机(NFA)的状态转换图如图6-1所示，该NFA等价的正规式是(1)，与该NFA等价的DFA是(2)。

A．0*|(0|1)0

B．(0|10)*

C．0*((0|1)0)*

D．0*(10)*