有限自动机

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]是唯一接受状态。整体上有六个州，过渡应该是显而易见的。