תזת צ'רץ'-טיורינג – הבדלי גרסאות

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