אוטומט מחסנית
ויקיפדיה האנציקלופדיה encyclopedia
במדעי המחשב, אוטומט מחסנית (באנגלית: Pushdown automaton, ובראשי תיבות: PDA) הוא מודל חישובי, שמהווה הרחבה של מודל האוטומט הסופי (הדטרמיניסטי), על ידי הוספת מחסנית, שבה האוטומט מסוגל לאחסן מידע (משמע, לאוטומט יש יכולת זיכרון). ההרחבה מגדילה את כוחו החישובי של האוטומט; כלומר, את קבוצת השפות שהוא מסוגל לזהות. בגרסתו הסטנדרטית, מודל אוטומט המחסנית מסוגל לזהות בדיוק את כל השפות חסרות ההקשר.