考虑以下 DFA，其中 s0 是起始状态，s1、s3 是最终状态。 
此 DFA 识别什么语言?
(A) x 和 y 的所有字符串
(B) x 和 y 的所有字符串，其中 x 的偶数和 y 的偶数或奇数或 x 和 y 的奇数
(C) x 和 y 的所有 x 和 y 数目相等的字符串
(D) x 和 y 的所有字符串，其中 x 为偶数且 y 为奇数，或 x 为奇数且 y 为偶数答案： (D)
解释：
字母 x 会移动到 S1，字母 y 会从 S0 状态移动到 S3。因此 DFA 接受的最小字符串是 {x, y}。从 S1 或 S3 到接受状态的进一步可能移动可以是偶数长度的 x 和 y 的任意组合，即{xx, xy, yx, yy} 及其组合之一。因此，被 DFA 接受的语言可以被识别为 (x+y) + (xx+xy+yx+yy)* 即所有具有奇数长度的 x 和 y字符串(x 的偶数和 y 的奇数或y 的偶数和 x 的奇数)。选项消除方法：(选项至少有一个例子不被 DFA 接受)
选项 (A)：错误，因为 {xx, xy etc} 不被 DFA 接受。
选项(B)：错误甚至没有。 x 甚至没有。 DFA 不接受 y字符串{xxyy}。
选项 (C): False 作为字符串与等于 no。 x 和等于 no。 DFA 不接受 y {xy}。
选项(D)：接受所有x 为偶数和y 为奇数或x 为奇数且y 为偶数的所有字符串。
因此答案是选项(D)。
该解决方案由Yashika Arora 提供
这个问题的测验