[英]How to design a DFA assuming that 0 is not an even number?
假设0不是偶数,如何设计一个接受偶数0和偶数1的DFA? 输入字母 Σ= (0,1)
处理奇偶校验的常用方法是设置 4 个状态的基数:
--> ((Q0)) <-0-> (Q1)
^ ^
| |
1 1
| |
V V
(Q2) <-0-> (Q3)
Q0 是 0 和 1 的偶校验状态。但是 0 是偶数,所以这不是我们所需要的。
所以让我们看看通过读取 0 来达到 Q0。
--> (A) --0-> (B) --0-> (C)
是 (C) = (Q0)? 不,因为我们还没有读取偶数个 1。
--> (A) --0-> (B) --0-> (C) --1-> (D) --1-> ((Q0))
这有效但还不够:我们缺少像 1100 和 000011 这样的字符串。是 (A) = (C) 吗? 不,因为 (A) 表示没有 0 或 1,而 (C) 遇到了 2 个 0。 让我们通过考虑使用我们尚未考虑的输入在每个状态中发生的情况来扩展它。 是 (D) = (Q2) 吗? 两者都代表偶数 0 和奇数 1,所以是的。
这应该足以让您找到答案。 如果你最终得到 9 个状态,你就会知道你有正确的答案。
这里出现四种情况 第一种情况 偶数 0 和偶数 1 第二种情况 偶数 0 和奇数 1 第三种情况 奇数 0 和偶数 1 第四种情况 奇数 0 和奇数1.
在您的情况下,偶数为 0,偶数为 1。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.