מכונת טיורינג (באנגלית: Turing machine) היא מודל חישובי מתמטי אשר באמצעותו ניתן לתאר באופן מופשט את פעולתו של מחשב (כולל מחשב מודרני). מתוך ויקיפדיה

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

כל אלגוריתם ניתן לתיאור על ידי מודל מתמטי מופשט המכונה מכונת טיורינג. בעוד מכונת טיורינג הסטנדרטית היא מכונת מצבים מוגדרת היטב (כלומר, לכל מצב של המכונה ברור באופן מוחלט (דטרמיניסטי) מה יהיה הצעד הבא של המכונה), מכונת טיורינג לא⁻דטרמיניסטית (Non⁻deterministic Turing machine, לעיתים מסומנת בקיצור מכונה א"ד) היא הרחבה של המודל הסטנדרטי, בה הצעד הבא של המכונה הוא מצב מסוים מתוך קבוצה של מצבים אפשריים, הנבחר בצורה "שרירותית". מכונה אי⁻דטרמיניסטית היא בעיקר כלי חשיבתי, שאינו ניתן למימוש בפועל. מתוך ויקיפדיה

מכונת טיורינג אי דטרמיניסטית, מכונת טיורינג אי⁻דטרמיניסטית, מכונת טיורינג דטרמיניסטית, מכונת טיורינג לא דטרמיניסטית

מכונת זמן, מכונת זמן בג'קוזי, מכונת חול, מכונת חישוב, מכונת טורינג, מכונת טיורינג א⁻דטרמיניסטית, מכונת טיורינג אי דטרמיניסטית, מכונת טיורינג אי⁻דטרמיניסטית, מכונת טיורינג דטרמיניסטית, מכונת טיורינג הסתברותית