指出，这并非偶然，因为宇宙本身可以在通用图灵机上计算。 这意味着无法在物理上构建比通用图灵机更强大的计算机。
非图灵完备语言.存在很多并不图灵完备的语言，比如由正则表达式表示的正则语言，通过有限状态机进行识别。下推自动机和上下文无关文法更强大，但仍不是图灵完备的，他们一般用于在程序编译的初期阶段生成分析树。其他示例包括嵌入在Direct3D和OpenGL扩展名中的像素着色器语言的某些早期版本。在如Charity和Epigram之类的总函数式编程语言中，所有功能都是总的，必须终止