帰納言語
帰納言語(きのうげんご、英: Recursive language)は、数学・論理学・計算機科学における形式言語の一種である。決定性言語(Decidable Language)、チューリング決定性言語(Turing-decidable Language)とも呼ぶ。全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを Rと呼ぶこともある。
このクラスの言語はチョムスキー階層では定義されていない(Chomsky 1959)。