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

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

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

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

ใช่ให้เป็นการเข้ารหัสแบบไบนารีของปัญหาการหยุดชะงักและA = 0 H ∪ 1 { 0 , 1 } ∗ ∪ { ϵ } , B = 1 H ∪ 0 { 0 , 1 } ∗ ∪ { ϵ }แล้วA B = { 0 , 1 } ∗ (เพราะอะไร)$H$$A=0H\cup 1\{0,1\}^{\ast}\cup\{\epsilon\}$$B=1H\cup0\{0,1\}^{\ast}\cup \{\epsilon\}$$AB=\{0,1\}^{\ast}$

$\Sigma^*$$\phi$

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

$\text{HP}' = \text{HP} \cup \{0,1\}$$HP$$\text{HP}'$$(\text{HP}')^* = \Sigma^*$

$L \cdot L = L^2 = \{ xy \mid x,y\in L \}$

$L = \{1\} \cup \{2n\} \cup \{ 2n+1 \mid n \in Halt \}$

$L$$L^2$