我正在尝试弄清楚如何构建一个DFA来接受带有字母∑ = {a,b}的语言。这是家庭作业问题集的一部分,我想我对如何构建简单的DFA有一个非常基本的想法,但是我无法将自己的头包裹在工会符号周围,更重要的是u
的意义是什么?
答案 0 :(得分:3)
u 表示任意长度的字符串(包括0),该字符串包含任意顺序的 a s和 b s。这就是 u 是∑ *元素的条件。
在一般情况下,您可以通过构建起始状态具有多个向外过渡的NFA来构建DFA,然后对NFA进行ε封闭。在这种情况下,两个开始过渡是互斥的,因此您只需将两个DFA的开始状态结合起来即可。
这可能在您的教科书和/或讲义中有更好的解释。