turing-complete
-
任何额外的公理都能使 Coq Turing 完备吗？
-
纯 Prolog 图灵完备吗？如果是，为什么它不能实现列表交集？
-
为什么 mov 图灵完整？
-
用于二进制数加法和比较的图灵机
-
MapReduce 图灵完备吗？
-
Libra VM (Move) 是一种图灵完备的语言吗？
-
Scala 3 会不会是图灵完备的？
-
如果一台计算机可以通过一条指令实现图灵完备，那么拥有多条指令的目的是什么？
-
基于堆栈的语言的图灵完备性证明
-
Sub-Turing Complete Class 计算模型
-
用 1 位存储单元进行 Brainfuck？
-
Ansible 图灵完备了吗？
-
自然语言图灵完备吗？
-
SELECT 没有行也没有列？
-
图灵完备图查询语言
-
图灵完备类型系统的原因是什么
-
每种算法的最佳时间复杂度要求？
-
可以从 ROM 执行代码的最简单的图灵完备 CPU 指令集是什么？
-
关于NP的一些推论
-
语言 class 可编译为无堆运行时