帰納的可算言語的日文

• 递归可枚举语言

• 帰納的可算集合:    递归可枚举集合
• 帰納的関数:    递归函数
• 帰納的集合:    递归集合
• 計算言語学:    计算语言学
• 帰納言語:    递归语言

例句与用法

1. このような言語を帰納的可算言語と呼ぶ。
2. 従って、停止問題判定は帰納的可算言語である。
3. 帰納的可算言語は以下の操作について閉じている。
4. 帰納的可算言語には以下の3つの等価な定義がある。
5. 全ての帰納的可算言語は複雑性クラス RE に属する。
6. 帰納的可算言語は帰納的可算な形式言語の部分集合である。
7. 帰納的可算言語は差集合や補集合の操作については閉じていない。
8. 以上から停止判定言語の補問題は帰納的可算言語ではないことがわかる。
9. 差集合 L\P や L の補集合は帰納的可算言語となる場合もあるし、ならない場合もある。