递归可枚举语言的日文

• 帰納的可算言語

• 递归可枚举集合    帰納的可算集合
• 递归可数集合    きのうてきかさんしゅうごう
• 递归语言    帰納言語
• 枚举    ひとつひとつあげる 一 つ一 つ挙げる
• 递归    さいきリカージョン
• 枚举法    れっきょほう
• 语言    言語.言葉. 语言规范化 guīfànhuà ／言葉の標準化. 语言试验室／ランゲージ?ラボラトリー.LL教室. 语言识别 shíbié ／（コンピューターの）音声認識.
• 递归解    リカーシブ解法リカーシブかいほう
• 递归论    再帰理論
• 不胜枚举    〈成〉いちいち数えきれない.枚挙にいとまがない.
• 枚举函数    まいきょかんすう
• 枚举定理    まいきょていり
• 状态枚举法    じょうたいれっきょほう
• 间接枚举    かんせつてきれっきょ
• 隐式枚举    かんせつてきれっきょ
• 左递归规则    ひだりきのうてききそく
• 有限递归法    ゆうかいきのうほう
• 相互递归    そうごかいき
• 递归公式    ぜんかしきふっきこうしき
• 递归函数    μ再帰関数
• 递归子程序    さいきてきサブルーチン
• 递归定义    さいきてきていぎ
• 递归定理    きのうていり
• 递归序列    じゅんかんすうれつ
• 递归多维系统    きのうてきたじげんシステム
• 递归子程序调用    さいきてきサブルーチンよびだし

• 图灵机判定递归语言并识别递归可枚举语言。
• 一个语言是图灵可识别语言当且仅当它是递归可枚举语言。
• 图灵可识别语言又可被称为递归可枚举语言或递回可枚举语言。
• 由0型文法产生的形式语言恰是图灵机所识别的语言类，即递归可枚举语言。
• 可被图灵机识别的语言是指能够使图灵机停机的字串，这类语言又被称为递归可枚举语言。
• 注意递归可枚举语言与递归语言的区别，后者是前者的一个真子集，是能够被一个总停机的图灵机判定的语言。
• 任何语言都可以由无限制文法来表达，馀下的三类文法对应的语言类分别是递归可枚举语言、上下文无关语言和正规语言。
• 正规语言类包含于上下文无关语言类，上下文无关语言类包含于上下文相关语言类，上下文相关语言类包含于递归可枚举语言类。
• 这里的包含都是集合的真包含关系，也就是说：存在递归可枚举语言不属于上下文相关语言类，存在上下文相关语言不属于上下文无关语言类，存在上下文无关语言不属于正规语言类。

• 递归可枚举语言的英语：recursively enumerable language
• 递归可枚举语言的韩语：재귀 열거 언어
• 递归可枚举语言的俄语：Рекурсивно перечислимый язык