::计算性质.从无限制文法和图灵机的等价性上，给定一个字符串 formula_28 是否属于某个无限制文法的语言的决定性问题一般是不可判定的。给出一个语言的描述完全可能建立一个通用无限制文法有能力接受任何其他无限制文法的语言，如同有可能建立一个通用图灵机，所以在理论上有可能建造一个基于无限制文法的编程语言。