Brainfuck修改版本的完整性
是Brainfuck图灵完成如果单元格是位,并且+和 - 操作简单地翻转一点? 是否有一个简单的证据表明Brainfuck-like语言不管单元大小如何都是图灵完成的,还是我需要考虑一个模拟图灵机的程序? 我怎么知道如果没有一个?
编辑:我找到了我的问题的答案:与位单元Brainfuck被称为Boolfuck。 普通的Brainfuck可以减少到它,所以Boolfuck是图灵完整的。
这个答案应该适合你; 它对什么特征使语言完成的定义有一个非常具体的定义。
这是它的要点:
一般而言,对于一个命令式语言来说,图灵完备,它需要:
一种形式的条件重复或条件跳转(例如, while
, if
+ goto
)
一种读取和写入某种形式的存储(例如变量,磁带)的方式,
图灵完整的语言可以“模拟任何单张图灵机”。 Brainfuck和Boolfuck都是图灵完整的,因为它们遵循规范。
还要注意的是,如果一个人完成图灵,另一个必须是因为他们几乎相同。 随着brainfuck,你正在以字节移动,但在boolfuck中,你正在使用位,它们构成字节。
链接地址: http://www.djcxy.com/p/11629.html