编译原理 构造正规式的dfa时怎么确定是否为终态

2025-06-27 20:35:44
推荐回答(2个)
回答1:

NFA确定化的时候,包含NFA初态的那个DFA状态就是确定后的DFA的初态
DFA的终态就是所有包含了NFA终态的DFA的状态
就如下边的例子,是一个初态为1,终态为6,7,9的NFA经过确定化得到的转换矩阵,右侧是将左侧的转换矩阵改名之后的DFA,也就是最后得到的DFA
对于DFA来说,他的初态就是包含了NFA唯一初态1的那个状态,就是左边的1,2右边的1了
终态则是左边的2,4,5,6,7和3,8,9和9对应的就是右边的2,4,5

回答2:

构造一个开始节点qz,和终态qs就可以了