brainfuck - Brainfuck 修改版的图灵完备性

Question

是 Brainfuck如果单元是位，并且 + 和 - 操作只是翻转一点，那么图灵完备？是否有一个简单的证据表明无论单元大小如何，类 Brainfuck 的语言都是图灵完备的，还是我需要考虑一个模拟图灵机的程序？如果没有，我怎么知道？

编辑:我找到了我的问题的答案:Brainfuck with bit cell is called Boolfuck .普通Brainfuck可以简化为它，所以Boolfuck是图灵完备的。

Answer 1

This answer应该很适合你；它对哪些功能使语言图灵完备有非常具体的定义。
这是它的要点:

In general, for an imperative language to be Turing-complete, it needs:

1. A form of conditional repetition or conditional jump (e.g., while, if+goto)

2. A way to read and write some form of storage (e.g., variables, tape)