אוטומט מחסנית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 33:
 
להלן מספר דוגמאות לפעולת פונקציית המעברים שבכולן האוטומט מתחיל במצב <math>\ q</math> ונשאר בו:
*<math>\ (q,Z)\in\delta (q,\sigma,Z)</math> - האוטומט קורא את <math>\ \sigma</math> מהקלט ואינו משנה את ראש המחסנית (ניתן לחשוב על כך כאילו הוא הוציא את האות <math>\ Z</math> מראש המחסנית ומיידומיד הכניס אותה בחזרה).
*<math>\ (q,\sigma Z)\in\delta (q,\sigma,Z)</math> - האוטומט קורא את <math>\ \sigma</math> מהקלט ודוחף אותה במחסנית אחרי ראש המחסנית הקיים (ניתן לחשוב על כך כאילו הוא הוציא את האות <math>\ Z</math> מראש המחסנית ומיידומיד דחף אותה חזרה ואחריה דחף את <math>\ \sigma</math>).
*<math>\ (q,\varepsilon)\in\delta (q,\sigma,Z)</math> האוטומט קורא את <math>\ \sigma</math> מהקלט ומוציא את <math>\ Z</math> מראש המחסנית מבלי שיוסיף שום דבר אחר במקומה (כלומר, הוא '''מוחק''' את ראש המחסנית).
===תיאור חישוב===