การดำเนินการที่คลาสของภาษาที่ undecidable ไม่ได้ถูกปิด


12

มีภาษาที่ไม่สามารถตัดสินใจได้หรือไม่ว่าภาษาของสหภาพ / ทางแยก / ภาษาที่ต่อกันนั้นสามารถถอดรหัสได้หรือไม่? อะไรคือการตีความทางกายภาพของตัวอย่างดังกล่าวเพราะโดยทั่วไปภาษาที่ไม่สามารถตัดสินใจได้จะไม่ถูกปิดในการดำเนินการเหล่านี้

เราจะพูดอะไรเกี่ยวกับการปิดคีลีน เรามีตัวอย่างสำหรับมันด้วยหรือไม่ คือการปิดภาษาที่ไม่สามารถตัดสินใจได้นั้นสามารถตัดสินใจได้หรือไม่?

นอกจากนี้เราสามารถพูดคุยกับคลาสที่ไม่สามารถตัดสินใจได้เช่นกันหรือไม่

คำตอบ:


21

ใช่ให้เป็นการเข้ารหัสแบบไบนารีของปัญหาการหยุดชะงักและA = 0 H 1 { 0 , 1 } { ϵ } , B = 1 H 0 { 0 , 1 } { ϵ }แล้วA B = { 0 , 1 } (เพราะอะไร)HA=0H1{0,1}{ϵ}B=1H0{0,1}{ϵ}AB={0,1}


9

Σϕ


9

ถือเดียวกันสำหรับดาว Kleene (ปิด Kleene):

HP=HP{0,1}HPHP(HP)=Σ


1

LL=L2={xyx,yL}

L={1}{2n}{2n+1nHalt}

LL2

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.