מינימיזציה חסומה
הגדרה: תהי
 |
המינימיזציה החסומה של g היא הפונקציה:
|
|
דוגמא: האם הפונקציה lcd היא פונקציה פרימיטיבית רקורסיבית? (כאשר lcd מוגדרת
כמחלק משותף מינימלי)
|
|
טענה: תהי פונקציה
 |
פרימיטיבית רקורסיבית, אזי גם המינימיזציה החסומה של g היא פרימיטיבית רקורסיבית.
גולשים מקוונים: 2