帰納的可算集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/01 07:25 UTC 版)
帰納的可算集合(きのうてきかさんしゅうごう、英: Recursively enumerable set)は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S について以下が成り立つ場合、その集合を指して帰納的可算、計算可枚挙、半決定可能、証明可能、チューリング-認識可能などと称する。
- ^ Richard M. Friedberg (1958), Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication, Journal of Symbolic Logic 23:3, pp. 309–316.
- 1 帰納的可算集合とは
- 2 帰納的可算集合の概要
- 3 特性
- 4 注意
帰納的可算集合と同じ種類の言葉
- 帰納的可算集合のページへのリンク