递归可枚举语言的日文

• 帰納的可算言語

• 递归可枚举集合:    帰納的可算集合
• 递归可数集合:    きのうてきかさんしゅうごう
• 递归语言:    帰納言語
• 枚举:    ひとつひとつあげる 一 つ一 つ挙げる
• 递归:    さいきリカージョン

例句与用法

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

其他语言

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