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

时间:2016-04-30 11:14:32

标签: discrete-mathematics

想知道如何转换这种非确定性的FSA

Initial Problem

确定性的,特别是表格。

到目前为止我已经得到了这个但是被卡住了:

Try

我如何指定BHMQ?对于州一,赢了四位数? (C,I,N,R)?

1 个答案:

答案 0 :(得分:0)

您正在寻找的概念是所谓的power set construction。从初始自动机开始,通过将其功率集(其所有子集的集合)作为所得自动机的状态集来转换状态集。最终状态是包含至少一个初始最终状态的状态。

在接受的语言相同的意义上,生成的自动机相当于最初的自动机。但是,州的数量可能呈指数增长。