有一道2002年高程题请教了

[liuxing4648483]

● 已知一不确定的有穷自动机（NFA）如下图所示，采用于集法将其确定化为 DFA 的过程如下表示。


I I0 I1
{S，1，2，3 } {1，3，4，5，Z} {2，3}
{1，3，4，5，Z} T1 T3
{2，3} {4，5，Z} {2，3}
T2 {6} T3
T1 {1，3，4，5，6，Z} {5，Z}
{6} T3 {5，Z}
{5，Z} {6} T3
状态集 T1 中不包括编号为__(6)__的状态；状态集 T2 中的成员有__(7)__；状态集 T3 等于__(8)__；该自动机所识别的语言可以用正规式__(9)__表示。 

(6) A. 2 B. 4 C. 3 D. 5
(7) A. 1,3,4,5,Z B. 2,3 C. 6 D. 4,5,Z
(8) A. {Z} B. {6} C. {4,5,Z} D. { }
(9) A. (0|1)* B. (0*|1*)*001 C. (0*|1*)*0(0|1)* D. (0*|1*)0(0|1)*
●与正规式 (alb)* 等价的正规式为__(10)__。

(10) A. a*|b* B. a*b* C. (a*b*)* D. (ab)*