是否有一种“自然的”不确定的语言？

是否有任何无法确定的“自然”语言？

“自然”是指直接由字符串属性定义的语言，而不是通过机器及其等效语言定义的语言。换句话说，如果语言看起来像 其中，中号是TM，DFA（或普通EXP），PDA（或语法），等，然后大号是不自然的。然而大号= { X Ÿ ... | X  是Y的前缀... }是很自然的。

$$L = \{ \langle M \rangle \mid \ldots \}$$ $M$$L$ $L = \{xy \ldots \mid x \text{ is a prefix of y} \ldots \}$

由于您需要“字符串”，因此我提到了经典的一种：“ 后信函问题”。

有很多例子但是这里有一些：

• 算术语言中的一组真实句子是不确定的。

• 集合论（ZFC）中可证明的句子集是不确定的。

• 具有解的丢番图方程组是不确定的。