Questions tagged «turing-completeness»

Brainfuck是一种图灵完整的编程语言，仅使用8个符号（如果忽略I / O，则使用6个符号）。 将其推向图灵完整性的两个最著名的要素是[和]，本质上是Brainfuck的标签和goto。 通常，Brainfuck中的程序使用多套[]，但是我想知道到底要使用多少对这些括号才能使Brainfuck Turing完整？ 更简单地说，模拟n状态图灵机所需的最少支架数是多少（给定1、2和3状态图灵机的支架数）？ 笔记： 我们假设磁带无限且没有计算限制。 这是一个2符号的图灵机

12 turing-completeness 

如果我们有任何可以修改其指令的计算机程序，是否可以使用无法修改其指令的程序来模拟该程序？ 编辑： 我是stackexchange的新手，所以不确定是否可以在这里提出一个新问题，但是这里有：好的，就如你们所显示的，证明有可能实现这一事实实际上非常简单。现在，我想知道：与输入输出等效的最有效非自修改算法相比，使用最有效的自修改算法来解决该问题是否更有效（在何种程度上）？

12 computability  computation-models  turing-completeness  church-turing-thesis 

对tex.SE的评论让我感到奇怪。该语句实质上是： 如果我可以用语言X编写语言X的编译器，那么X是图灵完备的。 用可计算性和正式语言来讲，这是： 如果决定大号⊆ 大号Ť 中号和⟨ 中号⟩ ＆Element; 大号，然后˚F 大号 = - [R Ë。中号MM大号⊆ 大号Ť 中号L⊆LTML \subseteq L_{\mathrm{TM}}⟨ 中号⟩ ＆Element; 大号⟨M⟩∈L\langle M \rangle \in LF大号= R EFL=REF_L = \mathrm{RE} 这里表示所有图灵机编码的语言，而F L表示由L中的机器计算的函数集。大号Ť 中号LTML_{\mathrm{TM}}F大号FLF_L大号LL 这是真的？

12 computability  turing-completeness 

如果两个计算模型可以相互编码，则可以证明两个计算模型是完整的。如果每个推理规则的编码（如果存在则可能是公理）被证明是另一个定理，则可以证明两个逻辑是完整的。在可计算性方面，这导致了图灵完整性和教会图灵论文的自然思想。但是，我还没有看到逻辑上的完备性导致自然而然地得出类似质量的总体完备性的想法。 由于可证明性和可计算性是如此紧密地联系在一起，因此我认为没有什么逻辑上的概念可以成为图灵完备性的自然对偶。从推测上来说，是这样的：存在一个“真”定理，当且仅当存在一个计算模型无法描述的可计算函数时，该定理才能在逻辑中证明。我的问题是，有人研究过吗？参考或一些关键字会有所帮助。 在上一段中，“真实”和“可计算”是指直觉但最终无法定义的想法。例如，有人可以证明，在没有完全定义“真”的概念的情况下，古德斯坦序列的有限性是“真”的，但在Peano算术中无法证明。类似地，通过对角化可以显示出，在没有完全定义可计算的概念的情况下，存在一些不是原始递归的可计算函数。我想知道，即使它们最终最终都是经验性的概念，也许这些概念之间的关联性可能足够好，可以将完整性的概念联系起来。

10 computability  logic  turing-completeness 

我试图找到有关通用图灵机的两个问题的答案。 如果要模拟的图灵机具有更多状态，那么通用图灵机如何模拟图灵机？ 如果要模拟的图灵机具有更多的字母字符，通用图灵机如何模拟图灵机？ 有人可以帮我解决这些问题吗？

10 computability  turing-machines  simulation  turing-completeness 

我看到过一些网站声称“证明” HTML5 + CSS已经完成。 我见过一些网站声称“证明” SQL已经完成。 我已经看到了许多网站，它们声称“解释” Turing Complete的含义。 足够！ 我在哪里可以找到一本书（由可计算性理论的专家撰写）或经过同行评审的文章（在著名的期刊中）显示以下证明：“这种语言XYZ能够描述具有相同计算能力的计算机作为图灵机”？

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

布尔函数是函数。F：{ 0 ，1 }ñ→ { 0 ，1 }F：{0，1个}ñ→{0，1个}f:\{0,1\}^n\rightarrow\{0,1\} 布尔基已知是图灵完备的，因为它允许翻转任何序列或使其保持不变。门也可以这样说。小号∈ { 0 ，1 } X Ò ř（∨ ，∧ ）（∨，∧）(\vee,\wedge)小号∈ { 0 ，1 }s∈{0，1个}s\in\{0,1\}X Ò řXØ[R\mathrm{XOR} 从这个意义上讲，我们可以从初始机器配置这样和就会具有连续值：b 我 ∈ { 0 ，1 } X ø - [R v我b =（ b1个，… ，bñ）b=（b1个，…，bñ）\textbf{b}=(b_1,\ldots,b_n)b一世∈ { 0 ，1 }b一世∈{0，1个}b_i\in\{0,1\}X Ò řXØ[R\mathrm{XOR}v一世v一世\textbf{v}_i b ⊕ v1个⊕ v2⊕ v3…b⊕v1个⊕v2⊕v3… …

9 turing-machines  turing-completeness  boolean-algebra