机。
非图灵完备语言.存在很多并不图灵完备的语言，比如由正则表达式表示的正则语言，通过有限状态机进行识别。下推自动机和上下文无关文法更强大，但仍不是图灵完备的，他们一般用于在程序编译的初期阶段生成分析树。其他示例包括嵌入在Direct3D和OpenGL扩展名中的像素着色器语言的某些早期版本。在如Charity和Epigram之类的总函数式编程语言中，所有功能都是总的，必须终止。 Charity使用类型系统和基于范畴论的控制流程，而Epigram使用依赖类型。 LOOP语言的设计