遞歸可枚舉語言

在數學 、 邏輯和計算機科學中 ， 遞歸可枚舉語言是也叫做部分可判定語言或圖靈可識別語言的形式語言類型 。 它在形式語言的喬姆斯基層級中叫做類型 - 0語言 。 所有遞歸可枚舉語言的類叫做RE 。