פונקציה פרימיטיבית רקורסיבית – הבדלי גרסאות

(בוט - מחליף 'דוגמא' ב'דוגמה', 'פונקצית' ב'פונקציית')
 
מחלקת ההפונקציות שמכילה בדיוק את הפונקציות התחיליות, ואת כל הפונקציות המתקבלות משרשור והרכבה חוזרת ונשנית שלהן מספר סופי של פעמים, נקראת '''מחלקת הפונקציות הפרימיטיביות רקורסיביות'''. ניתן להראות שהיא מחלקת הפונקציות הסגורה תחת רקורסיה פרימיטיבית המינימלית. כל פונקציה השייכת למחלקה מינימלית זו נקראת '''פונקציה פרימיטיבית רקורסיבית'''.
 
 
== דוגמאות ==
משתמש אלמוני