我有一个关于正则表达式到非确定性有限状态自动机的转换的问题:
将(a*|b*)*转换为NFA。我的尝试如下:

我说得太离谱了吗?或者某种程度上?
NB E =>ε
发布于 2011-05-10 01:37:33
您的NFA与(a*|b*)*的语言相同,因此答案是正确的。
但是,有许多NFA匹配相同的语言,在您的情况下,可以删除至少三个epsilon箭头。尽管如此,它不会比你的建议更正确。
也可以在不改变语义的情况下简化正则表达式(a*|b*)*。例如,(a|b)*等同于(a*|b*)*。如果你仔细想想,FA可以像这样简单:

https://stackoverflow.com/questions/5939568
复制相似问题