以下有限状态机接受所有二进制数字符串，其中二进制数分别为1和0。
(A)被3和2整除
(B)奇数和偶数
(C)偶数和奇数
(D)被2和3整除答案： (A)
解释：
删除选项(B)，因为字符串100包含1的奇数和0的偶数，但DFA不接受。
取消选择选项(C)，因为字符串011包含偶数1和奇数0，但DFA不接受。
消除了选项(D)，因为字符串11000的1的数目可以被2整除，而0的数目可以被3整除，但DFA仍然不接受。
选项(A)接受1可以被3整除，0可以被2整除的所有字符串。
附加说明：在任何情况下，(1的个数)MOD N =一些整数k，(0的个数)MOD M =一些整数q DFA中的状态数将等于N * M。
(该产品可用于所有输入的字母。)
例如：如果我们说不。的是偶数，而不是。 0s是奇数(我们检查(1s的个数)MOD 2 = 0和(0s的个数)MOD 2 = 0)，所以不是。 DFA中的状态数= 2 * 2 = 4。
因此，可以直接消除选项(B)和(C)，因为DFA具有6种状态，我们只能查看其余两个选项。
该解决方案由Yashika Arora提供。
这个问题的测验