递归可枚举语法

递归可枚举语法（recursive enumerable grammar），文学-语言文字-计算语言学及语料库语言学-计算语言学，重写规则是的形式语法。在重写规则中，除了要求之外，它不受其他限制。乔姆斯基证明了，每一个0型语言（见乔姆斯基层级）都是符号串的递归可枚举集，因此，0型语法就是递归可枚举语法。乔姆斯基还证明了，任何一个上下文有关语言同时又是递归可枚举语言，而且还存在着不是上下文有关语言的递归可枚举语言，因此，上下文有关语言应包含于递归可枚举语言之中，它是递归可枚举语言的子集合。