帰納的可算言語的日文

• 递归可枚举语言

• 帰納的可算集合    递归可枚举集合
• 帰納的関数    递归函数
• 帰納的集合    递归集合
• 計算言語学    计算语言学
• 帰納言語    递归语言
• 小さな帰納的次元    ちいさなきのうてきじげん[词组]〈数〉小归纳维数。
• 帰納的アプローチ    きのうてき approach归纳近似法。
• 可算    かさん可数。
• 帰納    きのう2 0 帰納 【名】 【他サ】 归纳
• 可算性    かさんせい
• 帰納法    きのうほう归纳法。
• 言語    ごんご 1 言 語 【名】 言语 げんご 1 言 語 【名】 言语;语言
• 可算公理    かさんこうり可数(性)公理。
• 可算集合    可数集
• 完全帰納法    かんぜんきのうほう完全归纳法。
• 超限帰納法    ちょうげんきのうほう〈数〉超限归纳法。
• 人的可靠性    にんげんしんらいど
• 数学的帰納法    数学归纳法
• 可算コンパクト    かさん compact〈数〉可数紧。
• 参考的可能性    さんしょうかのうせい
• 概率的可加性    かくりつのかほうせい
• 科学的可行性    かがくてきじつげんかのうせい
• 表现的可能性    ひょうげんかのうせい
• 规定的可靠性    せっていしんらいど
• 帰着時刻    きちゃくじこく归航时间。
• 帰結    きけつ1 0 帰結 【名】 【自サ】 归结;结果

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