言語L= {m>、mは決定的な単語}を受け入れる}を受け入れることができますか？

cs.stackexchange https://cs.stackexchange.com/questions/128437

質問

は $ l={ |l（m）\ \ finite \} $ は決定的？MはTMです。

私はその相対的な米の定理との比較を簡単にすると思います。しかし、私はライスレオレムを使わない解決策に興味があります。

これは私の試み： 次の方法で機能する関数にF（）とする：

  1. m
    2. でwを実行する
  2. mがTMを承認した場合Mwhich accepts only the word w and return M
  3. mが拒否された場合MGenerAcoditagcode

    4. だからmが $ A_ {tm}={ | m \ access \ w \} $ 私たちはそのf（）はLにあります.MがAにない場合は、f（）がすべての単語、したがって無限の単語を受け入れることを知っています。それでは、Lにはない。

    これは正しいマッピングの減少ですか？

役に立ちましたか？

解決

あなたが定義した関数はまったく減少していません - それは止まらないかもしれません！

問題は $ m $ $ w $ ： $ m $ は、 $ w $ の無限ループで貼られていませんか？あなたはできません。

次のように適切な削減を定義できます。（入力 $ $ ）

マシンの作成 $ m_ {m、w} $ 次のアルゴリズムを行い、次のようなアルゴリズムを実行します。 > $ s $ ）

  1. エミュレーション の$ m $ $ m $ $ | $ 手順。 $ m $ の場合、 $ s $ を拒否します。それ以外の場合は、 $ s $ 。

    2. 私はあなたがそれを証明することを証明することは $ h_ {tm} $ から $ lへの適切な削減です。 $ （その良い練習！）

ライセンス： CC-BY-SA と 帰属
所属していません cs.stackexchange
scroll top