פונקציה פרימיטיבית רקורסיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←שימושים: חזרה כפולה וחזרתית |
←הגדרה: תיקנתי תחביר תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 4:
==הגדרה==
בתורת ה[[חישוביות]], מחלקה של [[פונקציה|פונקציות]] שלמות, נקראת '''סגורה תחת רקורסיה פרימיטיבית''' (Primitive Recursively Closed או PRC), אם היא סגורה תחת הפעולה של יצירת פונקציה חדשה מהפונקציות
את הפונקציה החדשה נגדיר על נקודת התחלה באמצעות פונקציה קיימת, וכן נתאר את התקדמותה באמצעות פונקציה נוספת:
|