משפט רייס – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוספת קישור לתחום ההגדרה |
מ ←הוכחת המשפט: clean up, replaced: [[תחום ההגדרה ← [[תחום של פונקציה#תחום ההגדרה |
||
שורה 5:
== הוכחת המשפט ==
[[הוכחה|הוכחת]] המשפט מפרידה בין שני מקרים, תוך שימוש ב[[הפונקציה הריקה|פונקציה הריקה]]. הפונקציה הריקה היא פונקציה ש[[תחום של פונקציה#תחום ההגדרה]] שלה [[הקבוצה הריקה|ריק]]. אלגוריתם מחשב את הפונקציה הריקה [[אם ורק אם]] הוא לא עוצר על אף קלט, כלומר נכנס תמיד ל[[לולאה אינסופית]] או שערכי הביניים של האלגוריתם גדלים תמיד ללא הגבלה.
=== מקרה ראשון: הפונקציה הריקה אינה בעלת התכונה ===
|