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

תוכן שנמחק תוכן שנוסף
Gran (שיחה | תרומות)
Gran (שיחה | תרומות)
שורה 70:
#<math>q\in Q</math>
# <math>i \in \mathbb{N}</math> מיקום הראש יחסית לקצה הסרט, <math>1\le i \le m</math>
כאשר m הוא המקסימום בין אורך הקלט לבין המקום המקסימלי שהראש כתבעבר בו (או לחלופין, הזמן מתחילת החישוב).}}
 
 
שורה 78:
{{תרגיל|יישור=ימין|
שאלה=רשום את סדרת הקונפיגורציות של המכונה ב[[#דוגמא|דוגמא]] לעיל על הקלט 0110|
פתרון=הקונפיגורציה ההתחלתית היא <math>(0110,q_0start,1)</math>. לאחר צעד חישוב אחד המכונה בקונפיגורציה <math>(0110,q_0mem_0,2)</math> ובצעד החישוב הבא הקונפיגורציה תהיה <math>(0010,q_1mem_1,3)</math>, וכן הלאה..}} ולאחר מכן סדרת הקונפיגורציות היא
<math>(0010,mem_1,4) \to (0011\sqcup,mem_1,5) \to (00110\sqcup,done,6</math>. הקונפיגורציה האחרונה היא סופית. }}
[[קטגוריה:תורת החישוביות]]