אוטומטים ושפות פורמליות/אוטומט מחסנית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
בנציון יעבץ (שיחה | תרומות) |
||
שורה 29:
*<math>\ \Sigma</math> הוא א"ב הקלט.
*<math>\ \Gamma</math> הוא א"ב המחסנית.
* <math>\ \delta :Q\times\left(\Sigma\cup\left\{\varepsilon\right\}\right)\times\Gamma\to \
*<math>\ q_0</math> הוא המצב ההתחלתי.
*<math>\ \dashv</math> היא האות ההתחלתית שבמחסנית.
| |||