単語メンバー$ \ in $ L（m）が決定可能かどうかを判断するのは問題ですか？

Question

アルファベット{m、e、b、r}上のチューリングマシンMを与えられている}メンバー $ \ in $ l（m）であるかどうかを確認します。 Mが特定のマシンではなく、同じアルファベットを持つ任意のチューリングマシンになることができることに気付く必要があります。 私の目標は、この問題が決められているかどうかを判断することです。

私の考えはマッピングの軽減性を使うことでした。目標は、 $ A_ {TM} $ からのすべての問題を翻訳できるかどうかを確認しました。これにより、現在の問題が伝染によって決定できなくなります。しかし私はそうするのに苦労しているのは苦労しています。 $ a_ {tm} $ は、単語wを受け入れるチューリングマシンMとして定義されています。

解決されるのはあらゆる助けが高く評価されます。

Answer 1

私はこのように試してみてください：

$ a_ {tm}からの削減$ ：与えられたTM $ a $ und $ W $ 。

新しいマシン $ a '$ を定義するには、次のように機能します。

1. $ a $ のように実行されます。 $ w $
2. $ a $ の場合 $ w $ を拒否してください。
3. $ a $ の場合、バンドコンテンツを削除して "member"
を書き込む