הבדלים בין גרסאות בדף "אוטומט מחסנית"

(ביטול גרסה 25794588 של יהונתן חרמץ (שיחה))
[[קובץ:Automateapile.png|ממוזער|250px|ייצוג גרפי של אוטומט מחסנית, באמצעות [[גרף מכוון]]. האוטומט מורכב מ-4 [[מצב (מדעי המחשב)|מצבים]]: 2 מצבים מקבלים (מסומנים בעיגול כפול) ו-2 מצבים שאינם מקבלים (מסומנים בעיגול בודד).]]
ב[[מדעי המחשב]], '''אוטומט מחסנית (''' (באנגלית: '''Pushdown automaton''', -ובר"ת: '''PDA)''') הוא [[מודל חישובי]], שמהווה הרחבה של [[מודל מתמטי|מודל]] ה[[אוטומט סופי|אוטומט הסופי]] (ה[[אוטומט סופי דטרמיניסטי|דטרמיניסטי]]), על ידי הוספת [[מחסנית (מבנה נתונים)|מחסנית]], שבה האוטומט מסוגל לאחסן [[נתונים|מידע]] (משמע, לאוטומט יש יכולת זיכרון). ההרחבה מגדילה את [[חישוביות|כוחו החישובי]] של האוטומט; כלומר, את [[קבוצה (מתמטיקה)|קבוצת]] ה[[שפה פורמלית|שפות]] שהוא מסוגל לזהות. בגרסתו הסטנדרטית, מודל אוטומט המחסנית מסוגל לזהות בדיוק את כל [[שפה חסרת הקשר|השפות חסרות ההקשר]].
 
==תיאור לא פורמלי==