halting-problem

投稿关注

文章 0 浏览 3

“查找给定二进制文件中的所有代码相当于停止问题。”真的吗？

刚刚阅读有关模拟器的高度投票问题和声明事实证明，找到所有给定二进制文件中的代码是等效的停止问题。真的很让我印象深刻。这肯定不是真的吗？…

可爱咩 2024-10-22 00:29:29 4 0

图灵机停机问题

我有一个关于图灵机和停止问题的问题。假设我们有 Atm = {(M,w)，其中 M 是图灵机，w 是输入} 且 HALTtm = {(M,w) 其中 M 是图灵机，输入 w 时停止} …

像你 2024-08-26 14:22:22 7 0

所有正则表达式都会停止吗？

对于某些输入字符串，是否有任何正则表达式可以永远搜索匹配项？…

天暗了我发光 2024-07-30 13:29:42 2 0

停止问题和后台编译？

我正在尝试弄清楚如何为 Lua 编写自动完成算法，但由于与许多脚本语言一样，它缺乏静态类型系统，我认为我需要后台编译，但在后台编译期间很容易遇到…

北恋 2024-07-14 02:57:34 6 0

非图灵完备语言中的停止

对于图灵完备语言来说，停止问题无法解决，而对于某些非 TC 语言（例如总是停止的正则表达式）来说，可以轻松解决。我想知道是否有任何语言既具有停…

吐个泡泡 2024-07-11 18:24:17 6 0

实用的非图灵完备语言？

几乎所有使用的编程语言都是图灵完备，并且这提供了代表任何可计算算法，它还带有自己的一套问题。鉴于我编写的所有算法都是为了停止，我希望能够用…

只是偏爱你 2024-07-09 02:22:00 13 0

您什么时候遇到过现场停机问题？

Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…

娇女薄笑 2024-07-08 22:04:39 7 0

理论计算机科学什么时候有用？

在课堂上，我们学习了停机问题、图灵机、归约等。很多同学说这些都是抽象的、无用的概念，了解它们没有任何实际意义（也就是说，一旦课程结束，你就会…

走走停停 2024-07-07 12:01:05 8 0

共 1 页
1

留蓝

文章 0 评论 0

关注

18790681156

文章 0 评论 0

关注

zach7772

文章 0 评论 0

关注

Wini

文章 0 评论 0

关注

ayeshaaroy

文章 0 评论 0

关注

初雪

文章 0 评论 0

友情链接

文江博客

halting-problem

“查找给定二进制文件中的所有代码相当于停止问题。”真的吗？

图灵机停机问题

所有正则表达式都会停止吗？

停止问题和后台编译？

非图灵完备语言中的停止

实用的非图灵完备语言？

您什么时候遇到过现场停机问题？

理论计算机科学什么时候有用？

热门标签

推荐作者

留蓝

18790681156

zach7772

Wini

ayeshaaroy

初雪

友情链接