语言l= {,m接受一个有限量的单词}可解除的?
-
29-09-2020 - |
题
是 $ l={
我认为它的相对简单地证明了米饭的定理。但我对不使用米定理的解决方案感兴趣。
我的尝试:
让f(
- 在m 上运行w
- 如果m接受构造tm m
which accepts only the word w and return M
- 如果m拒绝构建一个tm m
which accepts everything. Return M
所以如果m在 $ a_ {tm}={
是这种正确的映射减少?
解决方案
您定义的功能根本不是减少 - 它甚至可能甚至不停止!
问题正在运行 $ m $ 上的 $ w $ :您可以确定 $ M $ 不会粘在 $ w $ 上的无限循环中?你不能。
您可以定义正确的减少,如下所示:(在输入 $
创建机器 $ m_ {m,w} $ ,它是以下算法的,并返回:(在输入 $ s $ )
- 模拟 $ m $ 上的 $ w $ for $ | s | $ 步骤。如果 $ m $ 在那个时间停止,则拒绝 $ s $ 。否则,接受 $ s $ 。
我会留下它来证明这是从 $ h_ {tm} $ 到 $ l $ (它是一个很好的运动!)
不隶属于 cs.stackexchange