תורת החישוביות/מכונת טיורינג: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←דוגמא: הגהה |
מ ←קונפיגורציה: הגהה |
||
שורה 79:
שאלה=רשום את סדרת הקונפיגורציות של המכונה ב[[#דוגמא|דוגמא]] לעיל על הקלט 0110|
פתרון=הקונפיגורציה ההתחלתית היא <math>(0110,start,1)</math>. לאחר צעד חישוב אחד המכונה בקונפיגורציה <math>(0110,mem_0,2)</math> ובצעד החישוב הבא הקונפיגורציה תהיה <math>(0010,mem_1,3)</math>, ולאחר מכן סדרת הקונפיגורציות היא
<center><math>(0010,mem_1,4) \to (0011\sqcup,mem_1,5) \to (00110\sqcup,done,6)</math>.</center>
הקונפיגורציה האחרונה היא סופית,כי <math>done</math> הוא מצב סופי. }} [[קטגוריה:תורת החישוביות]]
| |||