הגדרת מכונת טיורינג

כאשר העולם כיוון להתלקחות עולמית חדשה, בשנות השלושים, המדע של מחשוב היא התקדמה, שהונחה במקרים רבים על ידי ההכנה למאמץ המלחמתי שחלקם כבר צפויים להגיע.

בהקשר זה המתמטיקאי הבריטי אלן טיורינג (אפוסטריורי שנחשב לאחד מאבותיו של ארצות הברית) מחשוב מודרני) מפתח את עבודתו ובשנת 1936 מניח מה יהיו היסודות של מַחשֵׁב מוֹדֶרנִי.

השיחה מכונת טיורינג זהו מכשיר תיאורטי המסוגל לעבד נתונים על פי הכללים הנתונים.

גם הכללים וגם הנתונים נפרדים; למעשה, טיורינג תיאר לעצמו שהכללים יאוחסנו במדיום קבוע כלשהו, ​​ואילו הנתונים יאוחסנו על קלטות שאותה מכונה יכולה לשנות בהתאם לטבלה של כללים.

אנו רואים בבירור במודל רעיוני זה התקדמות של מה יהיו מחשבים מודרניים: גם אם יש רמה של שם משתמש פשוט, אתה יכול בקלות לראות את ההבחנה בין אפליקציה "בלתי ניתנים לשינוי" (עם ניואנסים, אבל במקרה זה בואו ניקח את זה ככה) והנתונים, שניתן לשנותם בהתאם לכללים, שיהיו תִכנוּת.

למרות שמכונת טיורינג התיאורטית היא נורא פשוטה, ומבצעת רק פעולות בסיסיות מאוד כמו שינוי המצב, ה- קריאה וכתיבה, הוא מסוגל לבצע את כל החישובים המתמטיים שמחשב מכני יכול לבצע באמצעות אַלגוֹרִיתְם.

במילים אחרות, אם ניתן לבטא בעיה באמצעות א אַלגוֹרִיתְם בכתב, זה יכול להיות מעובד - לפחות ברמה התיאורטית - על ידי מכונת טיורינג.

אלן טיורינג תפס זאת כתרגיל להראות שיש בעיות מתמטיות שהמחשבים לא הצליחו לפתור.

קלטת הנתונים, שתורינג תפסה אינסופית, ניתנת להזזה על ידי המכונה מימין לשמאל ומשמאל לימין, כמו קלטת ישנה או קלטת קולנוע שאפשר להבריג או להתקדם אליהם שיקול דעת.

ניתן להבין את מערך הכללים כשפת תכנות, מכיוון שהוא חייב להיות תחביר הִגָיוֹן ועקבי.

בדיעבד, מתמטיקאים אחרים יצרו גרסאות מתוחכמות יותר של מכונת טיורינג.

לפיכך, יש מכונות עם שתי להקות, דטרמיניסטים, או אפילו מכונת טיורינג קוונטית שיכולה עזרה, כמו גם אביו המהולל, להניח את יסודות החישוב המיוחל קוונטית.

צילום פוטוליה: כריסדורני / סטיב סימונס