以下哪个陈述是/否?
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)
说明：语言识别器是识别该语言的机器。
语言的决定者是决定该语言的机器。
两种类型的机器都停止在使用以下语言的字符串的“接受”状态中
如果字符串不是语言中的语言，则决定者也会暂停
Recogizer可能会或可能不会在非该语言的字符串上停止
在所有输入上：
决策者必须停止(处于“接受”或“拒绝”状态)
Recogizer可能会或可能不会在某些琴弦上停止(问：哪些字符串?)
如果某种图灵机决定一种语言，则该语言是图灵可决定的(或可决定的)。 Aka递归语言。
如果某种图灵机识别出某种语言，则该语言是图灵可识别的。 Aka递归可枚举语言。
资料来源：http://www.radford.edu/~nokie/classes/420/Chap3-Langs.html
在以下内容中关闭了递归(可决定性)语言
Kleene星，串联，并集，相交，补码和集差。
递归可枚举语言在Kleene星号，串联，并集，交点下关闭。它们不会在补码或设定差的情况下关闭。
这个问题的测验