数的正确子集，因为总的总可计算函数集不可计算。 同样，由于这些语言的所有功能都是合计的，因此与图灵机相比，用于递归可枚举集合的算法无法用这些语言编写。尽管无类型λ演算是图灵完备的，但简单类型λ演算不是。
数据语言.XML，HTML，JSON，和YAML不符合图灵完备性，因为他们通常用来表示结构化数据而不描述计算。这些语言有时被称为标记语言，或更恰当地称为“容器语言”或“数据描述语言”。