是关于单词成员$ \以$ l（m）可解除的问题的问题吗？

Question

给定字母上的图灵机M，我们要求我们要求确定成员 $ \以$ l（m）。 您必须意识到M不是一个特定机器，并且可以是具有相同字母表的任何图灵机。 我的目标是确定什么问题是可判定的。

我的想法是使用映射还原性。目标是看看我们是否可以从 $ a__ {tm} $ 中的所有问题翻译，这是已知的，这将是不可行的。这将使我们当前的问题不可行。然而，我正在努力这样做，因为我不确定是否有可能。 $ a_ {tm} $ 被定义为接受单词w的图灵机m。

将毫无疑问地获得任何帮助。

Answer 1

我会这样尝试：

从 $ a_ {tm} $ ：给定TM $ a $ und word $ w $ 。

使用它来定义新的机器 $ a'$ ，如下工作：

1. 运行像 $ a $ 输入 $ w $
2. 如果 $ a $ 拒绝 $ w $ ，进入永恒的循环。
3. 如果 $ a $ 接受，删除乐队内容和写入“成员”