已知一不确定的有限自动机(nFA、如图6-6所示，采用子集法将其确定化为DFA的过程如表6-1所示。
状态集t1中不包括编号为 (58) 的状态；状态集t2中的成员有 (59) ；状态集乃等于 (60) ；该自动机所识别的语言可以用正则式 (61) 表示。

表6-1 状态集表

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

A、1，3，4，5，z
B．2，3
C．6
D．4，5，z