1
do-while循环足以满足图灵完整性吗？
我知道，在命令式编程语言中，while-do循环足以构成使图灵完成的语言的控制流构造（就控制流而言，当然，我们还需要无限制的内存和某些运算符...） 。我的问题的要点是：do-while循环是否具有与while-do-循环相同的计算能力？换句话说，如果不可能完全跳过指令，那么一种语言可以是图灵完备的吗？ 我意识到这里的某些语义可能有点模棱两可，所以让我用一个特定的例子来表达实际问题： Brainfuck（BF）是一个图灵tarpit，其中唯一的控制流是while-do循环，表示为[...]（问题的底部有一个完整的语言规范，以防您不熟悉Brainfuck。让我们定义一种新的语言BF *，它,.+-<>的语义与BF中的语义相同，但是代替它的[]是{}，它具有do-while循环。也就是说，与BF的唯一区别是每个循环至少可以执行一次，然后才能跳过进一步的迭代。 BF *图灵完成了吗？如果是这样，我会对如何将BF转换为BF *感兴趣。如果不是，我该如何证明？ 我自己的一些观察： 并非每个BF程序都可以转换为BF *。例如，不可能用BF *编写可能会或可能不会读取或打印值的程序-如果该程序可能打印一个或多个值，它将始终打印至少一个。但是，可能存在BF的图灵完备子集，可以将其转换为BF *。 我们不能简单地将[f]（f仅由组成的任意Brainbrauck程序翻译成+-[]<>）（以消除第一次迭代的效果），因为a）并非每个可计算的函数都具有可计算的逆，并且b）即使有，循环次数不一定会比因此少，因此不能保证首先递归地执行此步骤。f-1{f}f-1f 这是Brainfuck语言的快速概述。Brainfuck在无限磁带上操作，其中每个单元包含一个字节值，最初为零。溢出会回绕，因此增加255可得到0，反之亦然。该语言包含8条指令： + Increment the current cell. - Decrement the current cell. > Move tape head to the right. < Move tape head to the left. , Input a character from STDIN into the current cell. . …