-
如果无法确定停机问题,理论上图灵完整的机器如何存在
正如问题所述,如果我在图灵整机的磁带上输入一个程序,该程序可以用正确的输入来解决暂停问题, -
图灵机用于二进制数的加法和比较
大家好! 出于学习目的,我正在尝试解决此<strong> <a href="https://www.cis.upenn.edu/~matuszek/cit596-2012/NewPa -
数据记录计算类?
<strong> <a href="https://en.wikipedia.org/wiki/Datalog" rel="nofollow noreferrer">Datalog</a> </strong>尚未完成图灵。 -
图灵机,用于平衡括号
如何设计一台可以识别平衡括号字符串的图灵机?例如 (())()。 -
为何完成旅行?
我最近发现了这一点:<a href="https://github.com/xoreaxeaxeax/movfuscator" rel="noreferrer">https://github.com/xoreaxeaxeax/movf -
用WHILE语言测试新语言的最简单方法是什么?
去年,我一直在研究简单的2D视频游戏编辑器。即使我已经能够实现到目前为止尝试过的任何游戏,但我 -
哈密顿循环的近似算法
假设 g(G,v) 是一个近似函数(算法),它返回 v 在有向图 G 中属于的最长简单循环的大小(边数),错误 -
哪些 FRACTRAN 程序证明 FRACTRAN 图灵完备?
我正在构建一种类似于 FRACTRAN 的语言,我想知道 FRACTRAN 中是否有任何已知的程序可以证明它是图灵完备 -
你能用 LaTeX 语言挖掘加密货币吗?
由于 LaTeX 是图灵完备的,这显然是可能的,尽管效率非常低,但作为一个噱头,它是否可行?此外,它 -
如果 x86 没有符号标志 (SF),它是否仍然是完全可编程的?
符号标志表示操作结果是否定的。<br/> 现在,按照我的理解,当操作结果为负时,符号 标志已设置。但 -
TOC程序A,当给定任何程序B作为输入时,可以确定B是否产生“hello world”
“不可能创建一个计算机程序 A,当给定任何程序 B 作为输入时,它可以确定 B 是否生成“hello world”作 -
任何额外的公理可以使 Coq Turing 完整吗?
这里我的意思是公理是我们可以在 Coq Gallina 中用 <code>Axiom</code> 关键字定义的东西,而不是传递给 Coq 的