DFA到RE（自动机理论，语言和计算简介）

Question

我一直在努力练习这个练习（标题中提到的书中的3.2.3）。您被要求将DFA转换为RE。自动机是：

我尝试按照3.2.2节（状态删除方法）中描述的算法获得RE，但是我没有获得与JFLAP相同的RE（也许它是等价的，但我不确定我是否正在应用这些步骤正确）。

第一步（州撤除）：

第二步（状态r删除）：

得到的RE是：L = (1*+(010*1+00)(1(01)*10*1)*0)*（根据JFLAP，它是(1+00(10)*0+(01+00(10)*11)(0+1(10)*11)*1(10)*0)*）

可以请别人告诉我哪里错了？

Answer 1

当你删除S在qtheir必须循环10因为Sand qtheir之间循环(01)。

在上面的例子当我们消除状态qazxsw poi，在状态qazxsw poi有循环1我希望你很容易理解它。