Операції, в яких клас невідбірних мов не закритий

Чи існують мови, які не визначаються таким чином, щоб їх мова об'єднання / перетину / об'єднаної мови була вирішальною? Що таке фізичне тлумачення такого прикладу, оскільки загалом нерозбірливі мови не закриваються в рамках цих операцій?

Що можна сказати про закриття клену? Чи є у нас і приклади для цього? Тобто, чи може бути закритим не визначену мову?

Також, чи можемо ми узагальнити такі невідмінні класи?

Так, нехай - двійкове кодування проблеми зупинки і 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):

$\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$