a_12 是特别指定的开始符号。如名称所暗含的，在无限制文法可以有什么类型的产生规则上没有真实限制。
无限制文法和图灵机.可以证明无限制文法特征化了递归可枚举语言。这同于声称对于所有无限制文法 formula_13 都存在某个图灵机有能力识别 formula_14 反之亦然。给定一个无限制文法，这种图灵机足够简单构造为两磁带非确定图灵机。第一个磁带包含要被测试的输入字 formula_15，而机器使用第二个磁带生成来自 formula_13 的句子形式。图灵机接着做如下事情: