DFA包含偶数0的所有单词，其1的数字可被3整除

Question

我真的想解决这个问题，但对我来说这似乎是非常不利的。有人能告诉我吗？

Answer 1

所以这是一个想法：

状态E2，E1和E0表示偶数个0，其余为1的分数，例如3。 E2表示偶数0和（1的数量）mod3 = 2

如果你得到0，你从E跳到相应的O，反之亦然。

如果你得到1，你会从0 - 2 - 1开始到下一个剩余时间并循环。

接受状态是0和（1的数量）mod 3 = 0