有限自動機

Question

如何在字母{0,1}上設計DFA：所有字符串的集合，以使1的數量為偶數，0的數量為3的倍數。

Answer 1

在您的狀態下使用模計數器，如下所示：

狀態q [k，l]代表k是讀取mod 2的1的數目，而l是讀取mod 3的0的數目。

q [0,0]是開始狀態，q [1,2]是唯一接受狀態。 總體上有六個州，過渡應該很明顯。