是 Brainfuck如果单元是位,并且 + 和 - 操作只是翻转一点,那么图灵完备?是否有一个简单的证据表明无论单元大小如何,类 Brainfuck 的语言都是图灵完备的,还是我需要考虑一个模拟图灵机的程序?如果没有,我怎么知道?
编辑:我找到了我的问题的答案:Brainfuck with bit cell is called Boolfuck .普通Brainfuck可以简化为它,所以Boolfuck是图灵完备的。
最佳答案
This answer应该很适合你;它对哪些功能使语言图灵完备有非常具体的定义。
这是它的要点:
In general, for an imperative language to be Turing-complete, it needs:
A form of conditional repetition or conditional jump (e.g.,
while
,if
+goto
)A way to read and write some form of storage (e.g., variables, tape)
关于brainfuck - Brainfuck 修改版的图灵完备性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14007414/