regular-language - 给定自动机的正则表达式

Question

有人可以帮我找到给定自动机的正则表达式吗？我知道查找的基本步骤，但在这个问题中我被卡住了，因为在这种情况下，初始状态和最终状态是相同的，并且它们是两个并行循环。我通过应用查找正则表达式的基本规则来尝试它，但经过一些步骤后我被卡住了。请帮我解决这个问题。一种新的发现方法将不胜感激。谢谢！！

标签： regular-languagedeterministic

Answer 1

希望你没事

我 在这个 DFA 上应用了“绕过/状态消除算法”

在解决它之后..我重新检索了这个 RE，也许它看起来有点乱，但是是的，你可以通过测试不同的字符串来检查它。这里是

            1*+ (1*0(1)*0(0)*1).((01*0+1).(1)*(0(0)*1))*.0