Brainfuck修改版本的完整性

是Brainfuck图灵完成如果单元格是位,并且+和 - 操作简单地翻转一点? 是否有一个简单的证据表明Brainfuck-like语言不管单元大小如何都是图灵完成的,还是我需要考虑一个模拟图灵机的程序? 我怎么知道如果没有一个?

编辑:我找到了我的问题的答案:与位单元Brainfuck被称为Boolfuck。 普通的Brainfuck可以减少到它,所以Boolfuck是图灵完整的。


这个答案应该适合你; 它对什么特征使语言完成的定义有一个非常具体的定义。

这是它的要点:

一般而言,对于一个命令式语言来说,图灵完备,它需要:

  • 一种形式的条件重复或条件跳转(例如, whileif + goto

  • 一种读取和写入某种形式的存储(例如变量,磁带)的方式,


  • 图灵完整的语言可以“模拟任何单张图灵机”。 Brainfuck和Boolfuck都是图灵完整的,因为它们遵循规范。

    还要注意的是,如果一个人完成图灵,另一个必须是因为他们几乎相同。 随着brainfuck,你正在以字节移动,但在boolfuck中,你正在使用位,它们构成字节。

    链接地址: http://www.djcxy.com/p/11629.html

    上一篇: completeness of a modified version of Brainfuck

    下一篇: How to use chrome extension filesystem api?