תורת החישוביות/מכונת טיורינג: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 20:
* <math>\Gamma</math> - קבוצת כל האותיות אותן ניתן לכתוב על סרט הזיכרון (נקרא: '''אלפבית הזיכרון'''). קבוצה זו אינה ריקה.
* <math>\Sigma \subsetneqq \Gamma</math> - '''אלפבית הקלט''', קבוצה (לא ריקה) של כל האותיות המגדירות קלט תקין עבור המכונה.
* <math>b \in \Gamma \smallsetminus \Sigma</math> - סימן מיוחד המייצג "ריק" (blank), כלומר, תא זיכרון ריק שלא כתוב בו כלום. הקלט לא יכול להכיל רווחים. לרוב, הסמל "ריק" מיוצג באמצעות <math>\
* <math>\delta</math> - '''פונקציית המעברים''', השיטה שבה המכונה מחליפה את המצבים. לכל (מצב נוכחי שאינו סופי, אות נוכחית) הפונקציה מגדירה (מצב חדש, אות חדשה, תזוזת הראש):
==מהלך חישוב==
|