【发布时间】:2016-03-03 13:58:25
【问题描述】:
给出一个接受语言中任何单词的 DFA 的有限状态图 L = {w | w ∈ {a, b}∗ 和 w 交替 a's 和 b's 并且有偶数个 b's}。
我的尝试:我在如何处理 b 的偶数部分时遇到问题。
【问题讨论】:
-
考虑设计 DFA 的一种方法是识别有意义的状态。在这种情况下,您需要 2 个状态。一个意思是“看到偶数个b”,另一个意思是奇数个b。由于零是偶数,因此该状态是开始状态。而且由于您想要长度均匀的字符串,因此它也是(唯一)接受状态。现在根据含义添加转换,你就完成了。例如。由于 a 不影响 b 看到的数量,因此每个状态在输入“a”上转换为自身。所以你只需要添加 'b' 过渡。
-
作为起点,请向我们展示您的 DFA,它接受每个交替 a 和 b 的字符串 w
-
您的最小字符串是多少...null 或空白且只有 (a)。
标签: finite-automata automata dfa