תורת החישוביות/מכונת טיורינג: הבדלים בין גרסאות בדף

כאשר m הוא המקסימום בין אורך הקלט לבין המקום המקסימלי שהראש כתב בו (או לחלופין, הזמן מתחילת החישוב).}}

 

{{דוגמה|תוכן=לכל מ"ט M על קלט x, הקונפיגורציה ההתחלתית היא <math>C_0=(x, q_0,1)</math>}}

{{דוגמה|תוכן=קונפיגורציה סופית היא כל קונפיגורציה <math>(\alpha, q,i)</math> עבורה <math>q\in F</math>}}

[[קטגוריה:תורת החישוביות]]