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