決定できない言語のクラスが閉じられない操作

12

結合/交差/連結言語が決定可能なような決定不能な言語は存在しますか？一般に、これらの操作では決定不能な言語が閉じられないため、そのような例の物理的な解釈は何ですか？

kleeneクロージャについて何が言えますか？例もありますか？すなわち、決定不能な言語の閉鎖は決定可能ですか？

また、このような決定できないクラスを一般化できますか？

formal-languages undecidability closure-properties

21

はいせ停止問題のバイナリ符号である、次に、なぜですか？） $H$ $A=0H\cup 1\{0,1\}^{\ast}\cup\{\epsilon\}$ $B=1H\cup0\{0,1\}^{\ast}\cup \{\epsilon\}$ $AB=\{0,1\}^{\ast}$

— sdcvvc
ソース

9

停止する言語は決定不能であることを知っています。Hをそのバイナリエンコーディングとします。また、Hの補数は決定できないと述べることもできます。したがって、HおよびHCompの組合/交点があると決定可能です。 $\Sigma^*$ $\phi$

9

Kleene star（Kleene閉じる）についても同じことが言えます：

セットと停止問題です。は明らかに決定不可能であり、であり、これは規則的です（したがって決定可能）。 $\text{HP}' = \text{HP} \cup \{0,1\}$ $HP$ $\text{HP}'$ $(\text{HP}')^* = \Sigma^*$

— ランG.
ソース

1

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

— Vor
ソース