图灵完整性修改版Brainfuck

Question

如果单元格是位，Brainfuck图灵完成，而+和 - 操作只是稍微翻转一下？是否有一个简单的证据表明，无论细胞大小如何，类似Brainfuck的语言都是图灵完整的，或者我是否需要考虑一个模拟图灵机的程序？我怎么知道是否没有？

编辑：我找到了一个问题的答案：带位单元的Brainfuck称为Boolfuck。普通的Brainfuck可以减少它，所以Boolfuck是Turing-complete。

Answer 1

This answer应该适合你;它有一个非常具体的定义，即什么功能使语言完整。

以下是它的要点：

  

一般而言，要使图灵完成的命令式语言需要：

     

  

1. 条件重复或条件跳转的形式（例如while，if + goto）

  

2. 读取和写入某种形式的存储（例如，变量，磁带）的方法

  

Answer 2

图灵完整语言可以“模拟任何单拍图灵机”。 Brainfuck和Boolfuck都是图灵完成的，因为它们符合规范。

另请注意，如果一个是图灵完成，另一个必须是因为它们几乎相同。使用brainfuck，你会以字节为单位移动，但在boolfuck中，你使用的是比特，它构成了字节。