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

אוטומט (מכונה), אוטומט הסתברותי, אוטומט השחמט, אוטומט חסום לינארית, אוטומט חסום ליניארית, אוטומט מכירות, אוטומט סופי, אוטומט סופי דטרמיניסטי, אוטומט סופי לא דטרמיניסטי, אוטומט תאי