תורת החישוביות/כריעות שפות/רדוקציה חישובית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ עריכה - הורדת תבנית בעבודה |
|||
שורה 1:
{{תורת החישוביות}}
כצעד ראשון לקראת ההוכחה ששפות מסוימות אינן כריעות, נרצה להציג את רעיון ה'''רדוקציה''' שהינו אחד הרעיונות המרכזיים ביותר במדעי המחשב. הרעיון שעומד מאחורי הרדוקציה הוא המרת בעיה אחת לבעיה קודמת, ידועה יותר.
|