[英]Recursively enumerable sets and Turing machines
讓 L1 成為遞歸語言。 令 L2 和 L3 是可遞歸枚舉但不可遞歸的語言。 以下哪項陳述不一定正確？ (A) L2 – L1 是可遞歸枚舉的。 (B) L1 – L3 是遞歸可枚舉的 (C) L2 ∩ L1 是遞歸可枚舉的 (D) L2 ∪ L1 是遞歸可枚舉的
你說得對，答案是（B）。 您應該找到L1-L3不是 RE 語言L1 （遞歸語言）和L3 （RE 語言）的具體示例。
下面是陳述 (A)、(C) 和 (D) 成立的證明。 我正在使用每個遞歸語言都是遞歸可枚舉的事實， 以及 RE 語言的眾所周知的閉包屬性。
(A) L2 - L1 = L2 交集（補語 L1）是遞歸可枚舉的，因為L1是遞歸的，因此（補語 L1）是遞歸可枚舉的，RE 語言的交集又是 RE 語言。 （一般來說，RE 語言L的補語是 RE 當且僅當L是遞歸的。）
(B) L1 - L3 = L1 交點（補 L3）不一定是 RE。 （練習：找到一個反例，即找到具體的語言L1 （遞歸）和L3 （RE），使得L1-L3不是 RE。）
(C) L2 交集 L1是 RE，因為L1和L2都是 RE，我們知道兩種 RE 語言的交集又是 RE 語言。
(D) L2 聯合 L1是 RE，因為L1和L2都是 RE，我們知道兩種 RE 語言的聯合又是一種 RE 語言。
L1-L3=L1 交叉點不必是 RE
你說得對，答案是（B）。 您應該找到 L1-L3 不是 RE 語言 L1（遞歸語言）和 L3（RE 語言）的具體示例。
答案是B。你應該找到L1和L3的具體例子
Turing Machine如何不接受任何遞歸枚舉？
[英]How is Turing Machine which accepts nothing is not Recursively Enumerable?
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
