是关于单词成员$ \以$ l(m)可解除的问题的问题吗?
-
29-09-2020 - |
题
给定字母上的图灵机M,我们要求我们要求确定成员 $ \以$ l(m)。 您必须意识到M不是一个特定机器,并且可以是具有相同字母表的任何图灵机。 我的目标是确定什么问题是可判定的。
我的想法是使用映射还原性。目标是看看我们是否可以从 $ a__ {tm} $ 中的所有问题翻译,这是已知的,这将是不可行的。这将使我们当前的问题不可行。然而,我正在努力这样做,因为我不确定是否有可能。 $ a_ {tm} $ 被定义为接受单词w的图灵机m。
将毫无疑问地获得任何帮助。
解决方案
我会这样尝试:
从 $ a_ {tm} $ :给定TM $ a $ und word $ w $ 。
使用它来定义新的机器 $ a'$ ,如下工作:
- 运行像 $ a $ 输入 $ w $
- 如果 $ a $ 拒绝 $ w $ ,进入永恒的循环。
- 如果 $ a $ 接受,删除乐队内容和写入“成员”
不隶属于 cs.stackexchange