有限自动机

Question

如何在字母表 {0,1} 上设计 DFA： 1的个数为偶数且0的个数为3的倍数的所有字符串的集合

Answer 1

在您的州使用 modulo 计数器，如下所示：

state q[k,l]代表k是读到1的个数mod2，l是读到0的个数mod3.

q[0,0]为起始状态，q[1,2]为唯一接受状态。总共有六个状态，过渡应该很明显。