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

שמה של מכונה תיאורטית (אוטומט) המסוגל לפעולות קלט/פלט פשוטות בה משתמשים להוכחות מתמטיות {{}}