משפט רייס – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ קט |
הגדרה? |
||
שורה 1:
'''משפט רייס''' הוא [[משפט (מתמטיקה)|משפט]] מרכזי בתחום ה[[חישוביות]], שעוסק ביכולת של [[אלגוריתם|אלגוריתמים]] לחקור אלגוריתמים אחרים. המשפט אומר שאין [[תוכנית מחשב]] שמקבלת כקלט תוכנית מחשב אחרת, ומכריעה האם ה[[פונקציה]] שמחשבת תוכנית מחשב זו היא בעלת תכונה מסוימת "לא-טריוויאלית" או לא (כלומר, תכונות אשר מאפיינות חלק מהפונקציות שמחושבות בידי תוכנית מחשב, אך לא את כולן). יש לשים לב שהתכונה היא תכונה של הפונקציה, ולא של תוכנית המחשב עצמה. באופן אינטואיטיבי המשפט טוען שתוכנית מחשב אינה יכולה לדעת כמעט מאום על הפלטים של תוכניות מחשב הנתונות לה כקלט.
באופן פורמלי, השפה
<div style="text-align: center;"><math>L= \{ <\!\!M\!\!> | L(M) \in S\}</math></div>
כאשר <math>S</math> הינה קבוצה ''לא-טריוויאלית'' של שפות, הינה שפה '''[[כריעות|בלתי כריעה]]'''.
הקבוצה <math>S</math> תחשב טריוויאלית אם היא הקבוצה הריקה (אינה מכילה אף שפה), או קבוצת כלל השפות.
== הוכחת המשפט ==
| |||