有限自动机

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]是唯一接受状态。 总体上有六个州，过渡应该很明显。