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