מודל חישובי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Shalomori123 (שיחה | תרומות) ←אוטומט סופי: תיקנתי דקדוק תגית: עריכה מיישום נייד |
החלפה (לאחסן) |
||
שורה 23:
[[קובץ:Automateapile.png|ממוזער|250px|דוגמה ל[[אוטומט מחסנית]] מעל הא"ב <math>\Sigma = \{ a,b \}</math>, המקבלת את השפה <math>L=\{ a^i b^j | i \ge j \}</math>.]]
{{ערך מורחב|אוטומט מחסנית}}
אוטומט מחסנית הוא מודל חישובי שמהווה הרחבה ל[[אוטומט סופי דטרמיניסטי]] על ידי הוספת [[מחסנית (מבנה נתונים)|מחסנית]] שבה האוטומט מסוגל
פורמלית, אוטומט מחסנית הוא השישייה <math><Q,\Sigma,\Gamma,\delta,q_0,F></math> כאשר:
| |||