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)*
)
有人可以告诉我哪里错了吗?
当你删除 S
在 q
上它们必须是循环 10
因为在 S
和 q
之间它们是 [=15= 的循环].
在上面的例子中,当我们消除状态 1
时,在状态 1
上它们是循环 10
希望大家能轻松看懂。
我已经为这个练习苦苦挣扎了一段时间(标题中提到的书中的 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
在 q
上它们必须是循环 10
因为在 S
和 q
之间它们是 [=15= 的循环].
在上面的例子中,当我们消除状态 1
时,在状态 1
上它们是循环 10
希望大家能轻松看懂。