Regex DFA至RE(自动机理论、语言和计算简介)

Regex DFA至RE(自动机理论、语言和计算简介),regex,regular-language,finite-automata,Regex,Regular Language,Finite Automata,我已经为这个练习奋斗了一段时间,从书名中提到的3.2.3开始。要求您将DFA转换为RE。自动机是: 我试图按照第3.2.2节“状态移除方法”中描述的算法获得RE,但我没有得到与JFLAP相同的RE,可能是等效的,但我不确定是否正确应用了这些步骤 第一步状态s移除: 第二步状态r移除: 结果RE为:L=1*+010*1+00101*10*1*0* 根据JFLAP,它是1+0010*0+01+0010*110+110*11*110*0* 有人能告诉我哪里错了吗?当你删除Q上的S时,它们必须是循环

我已经为这个练习奋斗了一段时间,从书名中提到的3.2.3开始。要求您将DFA转换为RE。自动机是:

我试图按照第3.2.2节“状态移除方法”中描述的算法获得RE,但我没有得到与JFLAP相同的RE,可能是等效的,但我不确定是否正确应用了这些步骤

第一步状态s移除:

第二步状态r移除:

结果RE为:L=1*+010*1+00101*10*1*0* 根据JFLAP,它是1+0010*0+01+0010*110+110*11*110*0*

有人能告诉我哪里错了吗?

当你删除Q上的S时,它们必须是循环10,因为在沙之间,Q是循环01。

在上面的示例中,当我们删除状态1时,状态1上的循环是10
我希望你能很容易地理解。

即使在迈出第一步之后,有些东西看起来还是可疑的;移除状态s后,您不能再脱离状态r,但您不会在原始自动机中陷入状态r;你可以回到q。你是否错过了r-1->q的转换?