寻找不是图灵完整的语言

Question

我对turing-machine和turing-complete语言有所了解，但为了更好地理解，有人可以提供非图灵完整语言的示例吗？ （甚至可能是不是图灵的机器？）

Answer 1

正式定义中的正则表达式，仅包含：

• 连接（ab）
• 无限重复（a *）
• 交替（a | b）
• 分组（（ab）|（cd））

只能识别常规语言。图灵完备的编程语言可以识别递归可枚举的语言。

一个例子是正则表达式无法告诉您字符串是否由匹配的括号对组成：例如()(())被接受而()((())()被拒绝，而图灵完整的编程语言可以。

（请注意，现代编程语言中的正则表达式比正则表达式的正式学术定义更强大。有些甚至可能是图灵完成。）

Answer 2

Regular languages - 可以被描述为正则表达式的那些 - 是not Turing complete。

标记语言（用于描述数据，而非计算），如XML和JSON，并不是图灵完备。