Discrete mathematics 如何将这种非确定性FSA转换为确定性FSA?

Discrete mathematics 如何将这种非确定性FSA转换为确定性FSA?,discrete-mathematics,Discrete Mathematics,想知道如何转换这个不确定的FSA吗 到确定性的,特别是表 到目前为止,我已经做到了这一点,但我被卡住了: 如何分配BHMQ?第一州不是有四位数吗?(C,I,N,R)?您正在寻找的概念是所谓的。从初始自动机开始,状态集通过将其幂集(其所有子集的集合)转换为结果自动机的状态集;最终状态是指至少包含一个初始最终状态的状态 由此产生的自动机与初始自动机等价,即接受的语言是相等的。然而,状态的数量可能呈指数增长。将一个新状态{B,H,M,Q}设为S,然后S(0)=B(0)+H(0)+M(0)+Q(0)

想知道如何转换这个不确定的FSA吗

到确定性的,特别是表

到目前为止,我已经做到了这一点,但我被卡住了:


如何分配BHMQ?第一州不是有四位数吗?(C,I,N,R)?

您正在寻找的概念是所谓的。从初始自动机开始,状态集通过将其幂集(其所有子集的集合)转换为结果自动机的状态集;最终状态是指至少包含一个初始最终状态的状态


由此产生的自动机与初始自动机等价,即接受的语言是相等的。然而,状态的数量可能呈指数增长。

将一个新状态{B,H,M,Q}设为S,然后S(0)=B(0)+H(0)+M(0)+Q(0),然后对S(1)执行此操作。并继续添加状态,直到未达到新状态。此pdf可能会有所帮助。如果我对KishanKumar感到困惑,请检查一下这个问题,表上会是什么样子?新构建的dfa中的状态不一定与nfa中的状态相同。您可以将状态BHMQ视为一个单一的状态,并使用它在表中写入新的状态代替BHMQ,并只为该状态创建一个新行。为仅由DFA中的开始状态派生的状态的表生成行