以下哪些陈述是错误的?
1. For every non-deterministic Turing machine,
there exists an equivalent deterministic Turing machine.
2. Turing recognizable languages are closed under union
and complementation.
3. Turing decidable languages are closed under intersection
and complementation.
4. Turing recognizable languages are closed under union
and intersection. (A)仅 1 和 4
(B)仅 1 和 3
(C)仅 2 个
(D)仅 3 个答案： (C)
解释：语言识别器是识别该语言的机器。
语言的决定器是决定该语言的机器。
两种类型的机器都在该语言中的字符串的 Accept 状态下停止
如果字符串不在该语言中，Decider 也会停止
Recogizer 可能会或可能不会停在不属于该语言的字符串上
在所有输入上：
决策者必须停止(在接受或拒绝状态)
Recogizer 可能会或可能不会在某些字符串上停止(问：哪些?)
如果某个图灵机决定一种语言，它就是图灵可判定的(或可判定的)。又名递归语言。
如果某个图灵机识别出一种语言，那么它就是图灵可识别的。又名递归可枚举语言。
资料来源：http://www.radford.edu/~nokie/classes/420/Chap3-Langs.html
递归(图灵可判定)语言在以下情况下关闭
Kleene 星、串联、并集、交集、补集和集差。
递归可枚举语言在 Kleene star、concatenation、union、intersection 下是封闭的。它们在补码或差集下不是封闭的。
这个问题的测验