【发布时间】：2013-01-24 21:18:27
【问题描述】：
找到有限自动机接受的语言的正则表达式
【问题讨论】：
-
家庭作业？你试过什么？
-
什么是开始和接受状态？
-
我不确定？我将如何确定这一点？
-
@OSU 应该在问题中给出。这看起来确实像硬件。
标签： regex finite-automata computation-theory
【发布时间】：2013-01-24 21:18:27
【问题描述】：
假设你的开始和结束状态都是-，你的有限自动机接受这样的字符串：-
ab
aab
abb
aabb
aabbaaabbb
abaabbaaabbb
aaaabbbb
bbaaabbbaab
so on..
请注意，自动机接受的字符串将根据start 和end 状态而变化。但是你可以自己弄清楚。
根据上面的模式，你大概可以生成一个正则表达式。不会那么难的。
【讨论】：
-
所以基本上它只是一个b？
-
@OSUBuckeyeCompSci。您快到了。注意末端的字符串。你的自动机可以重复字符串。所以，它会是 -
(a*b*)*。 -
那么根据上面的FA，你将如何确定开始和结束状态？
-
而不是
(a+b+)*，以防止灾难性的回溯。 -
@OSUBuckeyeCompSci .. 他们已经给出了。他们没有确定。
如果你的 (-) 状态是结束状态，那么：
b*(a+b+)*
如果您的 (+) 状态是结束状态：
b*(a+b+)*a+
【讨论】：