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