Brainfuck解释器使用细胞自动机

时间:2011-08-19 20:26:40

标签: wolfram-mathematica turing-machines brainfuck cellular-automata

有没有人拥有针对brainfuck解释器的一组细胞自动机规则?我认为它类似于通用图灵机的实现。那些存在于wolfram网站上,但我不知道如何为BF系统调整它们。

2 个答案:

答案 0 :(得分:4)

细胞自动机是“就地”规则。一组规则在当前规则之前不需要状态,以计算下一个规则。

然而,

BF不会计算“就地”:它有一个指针和一个堆栈,并且程序空间本身在评估时不得更改。很难设计一组评估BF程序的元胞自动机规则,因为指针变量和堆栈空间是全局状态。

BF程序是一维的,因此在Von Neumann意义上,“细胞”自动机将是荒谬的。

确实存在细胞自动机是通用图灵机,但这并不意味着(本身)所有通用图灵机都是细胞自动机。

答案 1 :(得分:-1)

Rule 110图灵完整,能够进行通用计算。