【发布时间】：2019-05-04 11:43:56
【问题描述】：
有人可以帮我找到给定自动机的正则表达式吗？ 我知道查找的基本步骤，但在这个问题中我被卡住了，因为在这种情况下，初始状态和最终状态是相同的，并且它们是两个并行循环。 我通过应用查找正则表达式的基本规则来尝试它，但经过一些步骤后我被卡住了。请帮我解决这个问题。 一种新的发现方法将不胜感激。 谢谢！！
【问题讨论】：
标签： regular-language deterministic
【发布时间】：2019-05-04 11:43:56
【问题描述】：
希望你没事
我在这个 DFA 上应用了“绕过/状态消除算法”
在解决它之后..我重新检索了这个 RE，也许它看起来有点乱，但是是的，你可以通过测试不同的字符串来检查它。这里是
1*+ (1*0(1)*0(0)*1).((01*0+1).(1)*(0(0)*1))*.0
【讨论】：