DFA 到 RE(自动机理论、语言和计算导论)

DFA to RE (Introduction to Automata Theory, Languages and Computation)

我已经为这个练习苦苦挣扎了一段时间(标题中提到的书中的 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)*

有人可以告诉我哪里错了吗?

当你删除 Sq 上它们必须是循环 10 因为在 Sq 之间它们是 [=15= 的循环].

在上面的例子中,当我们消除状态 1 时,在状态 1 上它们是循环 10 希望大家能轻松看懂。