Tag: 图灵完整

评估一个语言的“图灵完整性”的实用指南是什么？

我读过“什么是图灵完成”和维基百科页面，但是我对forms化certificate的兴趣不如图灵完成的实际意义。 我真正想要决定的是，如果我刚刚devise的玩具语言可以用作通用语言。 我知道我可以certificate，如果我可以写一个图灵机。 但是我不想经过这个练习，直到我相当确定的成功。 是否有一个最小的特征，没有图灵完全性是不可能的？ 是否有一套几乎可以保证完整性的function？ （我的猜测是条件分支和一个可读/可写的内存存储将使我在那里大部分的方式） 编辑： 我想我已经说了一句“图灵完成”了。 我试图用合理的信心猜测，一个新发明的具有特定function集的语言（或者是一个具有特定指令集的虚拟机）将能够计算任何值得计算的东西。 我知道certificate你可以用一种方法来构build图灵机，但不是唯一的方法。 我所希望的是一套指导方针，如：“如果它可以做X，Y和Z，它可以做任何事情”。