הגדרה רקורסיבית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
מ לפי דף השיחה
שורה 2:
 
למשל, ההגדרה "יהודי הוא מי שאביו יהודי" היא רקורסיבית, משום שכדי לקבוע האם [[משה בן מימון]] הוא יהודי, עלינו לדעת אם מימון היה יהודי. ההגדרה ''מחליפה'' את השאלה 'האם משה הוא יהודי?' בשאלה 'האם מימון הוא יהודי?', בשונה מ[[הגדרה מעגלית]] העונה על שאלה באותה שאלה עצמה.
כדי לקבל תשובה סופית, עלינו לעצור מתישהובשלב כלשהו - כי אחרת נבצע הפניה אינסופית ובחייםולעולם לא נקבל תשובה. לכן, הגדרה מתוקנת תהיה "יהודי הוא מי שאביו יהודי או מי שהתגייר כהלכה". כאן, התנאי "התגייר כהלכה" הוא תנאי עצירה ואם פלוני אכן התגייר כהלכה הוא יהודי ואין צורך לבדוק את יהדותו של אביו.
 
יש להבחין בין רקורסיביות של [[הגדרה]], לבין [[רקורסיה]] שהיא בדרך-כלל ''פעולה'' המבוצעת על-ידי הפניה עצמית.