帰納的可算言語
帰納的可算言語（きのうてきかさんげんご、）は、数学・論理学・計算機科学における形式言語の一種である。部分決定性言語（Partially Decidable Language）、チューリング受理性言語（Turing-recognizable Language）とも呼ぶ。形式言語のチョムスキー階層におけるタイプ-0言語に相当する。全ての帰納的可算言語は複雑性クラス RE に属する。
Q395
数学
Concept
Q8078
論理学
Concept
Q21198
計算機科学
Concept
Q192161
形式言語
Concept
Q190913
チョムスキー階層
ORG
Q908207
複雑性クラス
Concept
Q905621
RE
MISC
Q1073063
帰納的可算言語
Concept
Q1073063
帰納的可算言語
Concept
-0^^http://www.w3.org/2001/XMLSchema#decimal
-0
NUMBER
subclass of
main subject
instance of
instance of
subclass of