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

标签 brainfuck computability

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:

  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)

关于brainfuck - Brainfuck 修改版的图灵完备性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14007414/

相关文章:

regular-language - 无限的语言不可能是正则的吗?什么是有限语言?

algorithm - Lehmer 的扩展 GCD 算法实现

algorithm - brainfuck中的divmod算法

C 到 brainfuck 编译器?

algorithm - NP优化问题(定义)

theory - 图灵机不能接受的所有已知语言是什么?

python - 阿克曼函数与 n 个嵌套循环

python - 使用 Python 将字符串标记为嵌套数组列表

carriage-return - 将dos2unix移植到Brainfuck

brainfuck - brainfuck 中的数字总和