turing-complete

turing-complete

文章 0 浏览 8

makefile 图灵完整吗?

最近在工作中,我一直在做一些从 Makefile 到替代构建系统的转换。我在某些地方看到过一些使用函数式映射、过滤器和 foreach 结构的非常复杂的 Make …

下壹個目標 2024-09-14 10:41:07 9 0

将过程代码展开为 SQL

最近我对将过程代码转换为 SQL 的行为很感兴趣。我知道并不是所有的事情都可以用图灵完备的过程语言来表达。 如果您有特殊用途的过程语言怎么办?例如…

冷血 2024-09-12 02:17:39 18 0

C99 预处理器图灵完整吗?

在发现 Boost 预处理器的功能之后,我发现自己想知道:C99 预处理器图灵完整吗? 如果没有的话,缺少什么才没有资格呢?…

沫雨熙 2024-09-07 13:36:27 14 0

图灵完备性有多大用处?神经网络图灵完备吗?

在阅读一些关于循环神经网络图灵完备性的论文时(例如:神经网络的图灵可计算性,Hava T. Siegelmann 和 Eduardo D. Sontag,1991),我感觉那里给出…

白日梦 2024-09-04 18:28:18 17 0

是什么让人们认为神经网络比现有模型具有更强的计算能力?

我在维基百科上读到,在任意实数/有理数域上定义的神经网络函数(以及算法模式和推测的“反递归”模型)比我们今天使用的计算机具有更多的计算能力。…

烛影斜 2024-08-31 19:46:59 10 0

真正最小的口齿不清

要使一种语言成为图灵完备且是 lisp 变体,所需的最小原语集是什么? 看起来像 car、cdr 和一些流量控制以及 REPL 的东西就足够了。如果有这样的清单…

离鸿 2024-08-30 19:50:15 11 0

每种图灵完备语言中都可以存在这种程序吗?

在每种图灵完备的语言中,是否有可能为自己创建一个工作 编译器,它首先在用其他语言编写的解释器上运行,然后编译它自己的源代码? (Bootstrapping…

落日海湾 2024-08-28 03:19:31 11 0

是否有可能用每种图灵完备的语言创建一个 quine?

我只是想知道如果我的语言是图灵完备的,是否 100% 可能在其中编写一个将自身打印出来的程序(当然不使用文件读取功能) 所以如果该语言只有真正必要…

一抹淡然 2024-08-27 21:23:09 18 0

CSS图灵完备了吗?

据我所知,CSS 并不是图灵完备。但我对 CSS 的了解非常有限。 CSS图灵完备了吗?…

黯然 2024-08-26 12:28:47 11 0

元组关系演算

安全元组关系演算是图灵完备语言吗?…

紫﹏色ふ单纯 2024-08-17 13:04:36 8 0

如何模拟图灵机?

我不太明白图灵机的整个想法。 我目前的任务是制作一台繁忙的海狸图灵机。但我真正不明白的是它模拟输入。那么我要模拟什么样的输入呢?例如,它询问…

动次打次papapa 2024-08-07 20:30:43 17 0

一种语言可以在不支持数组的情况下实现图灵完备吗?

如果一种语言有控制结构和变量,但不支持数组、列表、内存访问和分配等,它能是图灵完备的吗? 也许如果您可以创建的变量数量没有限制,您可以通过创…

月依秋水 2024-08-03 15:25:00 13 0

创建最短的图灵完备解释器

我只是试图创建尽可能小的语言解释器。 您想加入并尝试吗? 游戏规则: 您应该指定您正在解释的编程语言。 如果它是您发明的语言,它应该在注释中附带…

噩梦成真你也成魔 2024-07-26 10:15:35 17 0

您知道哪些优雅且图灵完备的机器*? 书中有一本吗?

Lambda 演算当然非常优雅,但是函数的输入和输出之间存在这种不对称性,您不会感到困扰吗? 即,您可以使该函数接受两个参数(通过返回一个函数),但…

大海や 2024-07-12 06:16:22 19 0

非图灵完备语言中的停止

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

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

推荐作者

陪我终i

文章 0 评论 0

别忘他

文章 0 评论 0

野心澎湃

文章 0 评论 0

蒲公英的约定

文章 0 评论 0

文章 0 评论 0

旧时模样

文章 0 评论 0

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