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

Question

一段时间以来，我一直在努力工作（标题中提到的书中的3.2.3）。您需要将DFA转换为RE。自动机是：

我尝试按照3.2.2节（状态移除方法）中所述的算法获取RE，但是我没有获得与JFLAP相同的RE（也许是等效的，但是我不确定是否正确应用步骤。

第一步（状态s移除）：

第二步（状态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上的q时，它们必须是循环10，因为在S和q之间，它们是(01)的循环。

在上面的示例中，当我们消除状态1时，在状态1上它们是循环10 希望您能轻松理解它。