פונקציה רקורסיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
תוספת |
מ הוספת הפנייה לערך מורחב |
||
שורה 4:
כדי לבנות את קבוצת הפונקציות הרקורסיביות יש קודם לבנות קבוצה של פונקציות פחות כללית- הפונקציות הפרמטיביות.
===פונקציה רקורסיבית
{{הפניה לערך מורחב|פונקציות פרימיטיביות רקורסיביות}}
<!-- זו ההגדרה הראשונה שניתנה למושג הפונקציה הרקורסיבית. -->
קבוצת הפונקציות הרקורסיביות הפרמטיביות מוגדרת להיות הקבוצה המינימלית, <math>\ PR^{(k)}</math>, של פונקציות מ-<math>\N^k</math> למספרים הטבעיים, שמקיימת את התנאים הבאים:
|