特定の構文を持つ文字列を含む言語のための未確定性を証明する

Question

次の問題があるとします。

$$ \ mathcal {l} _1={\ langle \ mathcal {m} \ Rangle |\ mathcal {m} \ \ \ \ text {チューリングマシンと$ \ mathcal {l}（\ mathcal {m}）$には、正確に3つのゼロを持つ文字列が含まれています} \ \

$ \ mathcal {l} _1 $ は未定であることを証明します。私は一般的に米の定理を使って言語が解決できないことを証明するでしょうが、現実では、私たちは言語の意味論を対処していますが、その構文。私たちが言語の建設に基づいて証明する必要がある場合、プロセスはどのように見え、米の定理との証明と同じように見えますか？

Answer 1

言語の意味的特性、そしてその OK はここで米の定理を使うことができます。

define $ c={l | \ text {正確に3ゼロの文字列があります。} $

so、 $ L_1={m> | m \ text {はチューリングマシンと} \} \} $ であるため、 $ c \ neq \ emptyset $ とは、米の定理で、 $ L_1 \ Notin R $ 。