turing-complete
投稿

turing-complete

文章 0 浏览 8

理解图灵表明足以对编程语言足够的原语

因此，据说图灵表明有6个原语。我可以认为它们是制作程序所需的必需品。 因此，左/右命令的移动是有道理的，因为在编写代码时，我们可能需要返回重写…

凡间太子 2025-02-13 14:51:53 2 0

有史以来最小的编译器

Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗？更新问题，使其关于- Stack Overflow 的主题。 13…

屌丝范 2024-12-19 08:29:03 6 0

一般来说，是否可以仅使用 C++ 编写类似 kinect 的应用程序？

我的意思是，编写准确度接近 kinect 的网络摄像头识别。…

檐上三寸雪 2024-12-10 04:10:02 9 0

星巴克菜单图灵完备吗？

如果我们将星巴克的迷你语言菜单系统解释为某种语法或状态机，那么该语法是图灵完备的吗？可以在此处找到星巴克订单迷你语言的说明…

寄与心 2024-11-16 08:37:28 11 0

字典是图灵完备的吗

对于“字典”，我的意思是具有唯一键的键/值对数组。如果没有，为什么？如果时间足够长，您可以使用键作为输入，使用值作为输出，它可以解决您想要的…

各空 2024-11-06 10:35:24 12 0

HTML5+CSS3 中图灵完备规则 110 的实现是如何工作的？

今天早上，我在纯 HTML5 + CSS3（无 JavaScript）中遇到了以下规则 110 的实现。您按顺序按 Tab 和空格键来运行自动机。 http://elilies.com/rule110-…

苏佲洛 2024-10-24 21:37:53 11 0

.NET 的正则表达式图灵完备吗？

正则表达式通常被认为是未完成语言的经典示例。例如，“正则表达式”作为此问题的答案 寻找非图灵完备的语言。 根据我对转向完整性概念的理解（也许有…

吹梦到西洲 2024-10-14 14:26:21 12 0

简单与嵌套

就图灵完整性而言，简单循环是否与嵌套循环一样强大？…

比忠 2024-10-12 08:50:55 7 0

Stata 图灵完备吗？

我最近一直在用 Stata 做一些统计工作，但不太喜欢它。 我觉得它不是一种“正确的”编程语言：特别是我不认为有一种方法可以循环直到满足条件。 我的…

与他有关 2024-10-06 10:44:59 15 0

Scala 中的类型系统是图灵完备的。证明？例子？好处？

有人声称 Scala 的类型系统是图灵完备的。我的问题是： 这有正式的证明吗？ 简单计算在 Scala 类型系统中是什么样子？ 这对 Scala 这种语言有什么好处…

贪了杯 2024-09-30 04:31:17 11 0

条件分支是图灵完备性的要求吗？

我一直在网上搜索，发现了一些相互矛盾的答案。一些消息来源断言，语言/机器/你有什么是图灵完整的，当且仅当它具有两者条件和无条件分支（我认为这有…

君勿笑 2024-09-28 20:48:29 13 0

关于 UML 和图灵完备性的一个天真的问题

众所周知，UML 并不是图灵完备的（与通常的编程语言相比）。但在我看来，UML 比传统语言更加灵活。我无法想象一个问题可以用C++（fe）这样的语言来描…

野心澎湃 2024-09-28 11:18:49 10 0

对于静态类型语言来说意味着什么？

我的理解是，这意味着人们可以编写一个程序来正式证明用静态类型语言编写的程序将不存在某些（小）缺陷子集。 我的问题如下： 假设我们有两种图灵完备…

鸠魁 2024-09-18 00:33:36 12 0

寻找非图灵完备的语言

我知道一点关于什么是 图灵机 和 turing-complete语言，但是为了更好地理解，有人可以举出非图灵完备的语言的例子吗？ （甚至可能不是图灵机？）…

淡看悲欢离合 2024-09-16 16:34:54 17 0

像 Coq 这样的非图灵完备语言有哪些实际限制？

由于存在非图灵完整的语言，并且鉴于我没有在大学学习计算机科学，有人可以解释一些图灵不完整的语言（例如 Coq) 不能做什么？ 或者完整性/不完整性是…

街角迷惘 2024-09-14 16:08:18 11 0
更多

热门标签

操作系统 程序设计 IT运维 Linux系统管理 JavaScript 服务器应用 solaris C/C++ PHP Shell BSD Vue.js aix Oracle Python HTML 系统管理 HTML5 CSS 前端
更多

推荐作者

陪我终i

文章 0 评论 0

别忘他

文章 0 评论 0

野心澎湃

文章 0 评论 0

蒲公英的约定

文章 0 评论 0

。

文章 0 评论 0

旧时模样

文章 0 评论 0

更多

友情链接

文江博客
    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。
    原文