遞歸語言

在數學 、 邏輯和計算機科學中 ， 遞歸語言或遞迴語言是也叫做可判定語言或圖靈可判定語言的形式語言類型 。 所有遞歸語言的類經常被稱爲 R 。 這種語言類型在喬姆斯基層級中沒有定義 。