PR 是包含所有原始遞歸函數 – 或者換句話說,所有能被這類函數定義的形式語言,這包含了加法,乘法,指數,以及迭代冪次等等。
阿克曼函數則是一個並非 原始遞歸函數的範例,告訴我們R包含但不等同(strictly contain,或者說嚴格包含)PR。
PR 函數可以被獨立的列舉,而並非所有R裡面的函數皆可。這告訴我們'PR'有一個語意的定義,但是R則沒有。
另一方面,我們可以用下列的概念去使用原始遞歸函數"列舉"任何的遞歸可枚舉集合 (參見另一個複雜度類RE):給定輸入 (M, k),M是一個圖靈機而k是一個正整數,如果M會在k步以內停止則輸出M;否則就甚麼都不輸出。然後,這裡輸出的聯集,也就是(M, k)這些組合所有可能的輸出,恰好是會停止的M的集合。
PR 包含但不等於ELEMENTARY。
參考資料 编辑
複雜度, 是包含所有原始遞歸函數, 或者換句話說, 所有能被這類函數定義的形式語言, 這包含了加法, 乘法, 指數, 以及迭代冪次等等, 阿克曼函數則是一個並非, 原始遞歸函數的範例, 告訴我們r包含但不等同, strictly, contain, 或者說嚴格包含, 函數可以被獨立的列舉, 而並非所有r裡面的函數皆可, 這告訴我們, 有一個語意的定義, 但是r則沒有, 另一方面, 我們可以用下列的概念去使用原始遞歸函數, 列舉, 任何的遞歸可枚舉集合, 參見另一個複雜度類re, 給定輸入, m是一個圖靈機而k是一個. PR 是包含所有原始遞歸函數 或者換句話說 所有能被這類函數定義的形式語言 這包含了加法 乘法 指數 以及迭代冪次等等 阿克曼函數則是一個並非 原始遞歸函數的範例 告訴我們R包含但不等同 strictly contain 或者說嚴格包含 PR PR 函數可以被獨立的列舉 而並非所有R裡面的函數皆可 這告訴我們 PR 有一個語意的定義 但是R則沒有 另一方面 我們可以用下列的概念去使用原始遞歸函數 列舉 任何的遞歸可枚舉集合 參見另一個複雜度類RE 給定輸入 M k M是一個圖靈機而k是一個正整數 如果M會在k步以內停止則輸出M 否則就甚麼都不輸出 然後 這裡輸出的聯集 也就是 M k 這些組合所有可能的輸出 恰好是會停止的M的集合 PR 包含但不等於ELEMENTARY 參考資料 编辑Complexity Zoo PR 取自 https zh wikipedia org w index php title PR 複雜度 amp oldid 29751677, 维基百科,wiki,书籍,书籍,图书馆,
文章
,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。