单项选择题
已知一不确定的有限自动机(NFA)如图6-6所示,采用子集法将其确定化为DFA的过程如表6-1所示。 状态集T1中不包括编号为 (1) 的状态;状态集T2中的成员有 (2) ;状态集乃等于 (3) ;该自动机所识别的语言可以用正则式 (4) 表示。 表6-1 状态集表
A.2 B.4 C.3 D.5
A.图灵机 B.下推自动机 C.有限状态自动机 D.其他自动机
A.S B.b C.d(T) D.Sd(T)