次の言語はなぜ解決できないのですか？

Question

私は現在、私の試験のためにこの学期を学び、昨年からいくつかの古い試験を解決しようとしました。

問題は表示されることを示すことです。 $ L={w | t（m_w）\ Neq \ Neq \ Neq \ Neq \ NataL X \ in t（m_w）：xx \ in t（m_w）\ land xxx \ notin t （m_w）\} $

言語 $ L '={w | T（M_W）\ NEQ \ eAPTYSET \} $ は、米定理のために決心できません。 $ t（m_1）=emptyset $ と $ m_1 $ をチューニングするために作成しました="math-container"> $ m_2 $ $ t（m_2）=sigma ^ * $ 言語L 'が些細なことではないことを示す。 （ $ と $ 2 \ not m $ です。一般性の損失があると思います機械はGödelindexes1と2）

を持っています

私の問題は、私が示す方法がないことを知っていない、この結果は言語Lに転送することを知っています。私は言語LにそのようなGödelインデックスのみを含める必要があることを知っています、それらのインデックスのために次のTMは無限の単語を受け入れる必要があります（ $ x \ in t（m_w）$ の場合、 $ xx \ in t（m_w）$ < / SPAN> ...、したがって、 $ xxxx \ in t（m_w）$ などでなければなりません。）

私は提案/答えを聞きたいです！ 事前にありがとう

Answer 1

これは米の定理の直接の結果です。 $ l $ のword $の場合T（M_W）$ は、次の意味プロパティを満たします：

$ t（m_w）$ は空で、 $ x \ in t（m_w）$です。 、 $ x ^ 2 \ in t（m_w）$ 、 $ x ^ 3 \ notin t （m_w）$ 。

米の定理によれば、この言語が未定であることを示すためには、2つのチューリングマシン $ W_1 $ と $ w_2 $ ：プロパティを満足させないものとそれを満足させるもの。 $ t（m_ {w_1}）=faptyset $ 、および $ w_2 $ $ t（m_ {w_2}）={a ^ {2 ^ n}：n \ geq 0 \} $ 。