[英]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.