受限原始遞歸式(limited primitive recursionschema)原始遞歸式的一種限制形式.
基本介紹
- 中文名：受限原始遞歸式
- 外文名：limited primitive recursionschema
受限原始遞歸式(limited primitive recursionschema)原始遞歸式的一種限制形式. 給定函式8,h,.7如果函式f滿足:
受限原始遞歸式
則稱函式f為(從g.i出發)經受限原始遞歸定義的函式，上式稱為受限原始遞歸式.注意到前兩式實際上就是原始遞歸式，因此，由受限原始遞歸式定義的函式就是由原始遞歸式定義的函式，只是它進一步要求新函式值不超過某個預先給定的函式j的相應值罷了.受限原始遞歸式的這種限制，使得它定義函式的能力遠遠弱於一般的原始遞歸式(參見“格才高爾契克分層”).
