DFA 到 RE（自动机理论、语言和计算导论）答案

【问题标题】：DFA to RE (Introduction to Automata Theory, Languages and Computation)DFA 到 RE（自动机理论、语言和计算导论）
【发布时间】：2019-08-10 07:06:58
【问题描述】：

我一直在为这个练习苦苦挣扎（标题中提到的书中的 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)*）

谁能告诉我哪里错了？

【问题讨论】：

即使在第一步之后，有些东西看起来很可疑；移除状态 s 后，你不能再离开状态 r，但你不会在原始自动机中卡在 r 中；你可以回到q。您是否缺少过渡 r -1-> q？

【解决方案1】：

当你删除S时q他们必须循环10因为在S和q他们之间循环(01)。

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

【讨论】：