תזת צ'רץ'-טיורינג – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←עריכת הפתיח: הגהה |
מ הגהה |
||
שורה 8:
:א. המודל של מכונת טיורינג הוא מודל פשוט, אך ניתן להראות שמודלים רבים (מכונת טיורינג עם סרטים מרובים), מכונת טיורינג לא דטרמיניסטית, ווריאציות רבות אחרות - פעולת כולן ניתנת לביצוע על ידי מכונת טיורינג רגילה. כלומר, שינויים רבים במכונת טיורינג אינם מגדילים את יכולת החישוב שלה.
:ב. מתמטיקאים הוכיחו שקילות בין מודלים שונים של חישוב: סימון למדא של צ'רץ' לבין מכונת טיורינג למשל וכן בין אלה לבין אוטומטים לא סופיים וכדומה.
:ג. למכונת טיורינג יש יכולות רבות
{{קצרמר|מתמטיקה}}
|