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