构建可以接受联合语言的DFA

时间:2018-10-02 13:50:06

标签: finite-automata dfa formal-languages

我正在尝试弄清楚如何构建一个DFA来接受带有字母∑ = {a,b}的语言enter image description here。这是家庭作业问题集的一部分,我想我对如何构建简单的DFA有一个非常基本的想法,但是我无法将自己的头包裹在工会符号周围,更重要的是u的意义是什么?

1 个答案:

答案 0 :(得分:3)

u 表示任意长度的字符串(包括0),该字符串包含任意顺序的 a s和 b s。这就是 u 是∑ *元素的条件。

在一般情况下,您可以通过构建起始状态具有多个向外过渡的NFA来构建DFA,然后对NFA进行ε封闭。在这种情况下,两个开始过渡是互斥的,因此您只需将两个DFA的开始状态结合起来即可。

这可能在您的教科书和/或讲义中有更好的解释。