尋找不是圖靈完整的語言

Question

我知道什么是圖靈機和圖靈完整的語言，但為了更好地理解，有人可以提供非圖靈完整語言的例子嗎？ （甚至可能是不是圖靈的機器？）

Answer 1

正式定義中的正則表達式，僅包含：

• 連接（ab）
• 無限重復（a *）
• 交替（a | b）
• 分組（（ab）|（cd））

只能識別常規語言。 圖靈完備的編程語言可以識別遞歸可枚舉的語言。

一個例子是正則表達式無法告訴您字符串是否由匹配的括號對組成：例如()(())被接受而()((())()被拒絕，而圖靈完整的編程語言可以。

（請注意，現代編程語言中的正則表達式比正則表達式的正式學術定義更強大。有些甚至可能是圖靈完成的。）

Answer 2

常規語言 - 可以被描述為正則表達式的語言 - 不是圖靈完整的 。

標記語言（用於描述數據，而不是計算），如XML和JSON，並不是圖靈完備的。