הוא גומה לאוטומט סופי דטרמיניסטי אלא שהוסיפו לו אלמנט
של מחסנית, מחסנית אני יכול לדחוף איבר לתוכה, לקרוא את האיבר
העליון, ולהוציא את האיבר העליון.בפונקציית המעברים של האוטומט, מקבלים את המצב הנוכחי,
את סימן הקלט, ואת הסימן בראש המחסנית. וכתוצאה היא
אומרת לאיזה מצב לעבור, מה לשים בפלט(לא הכרחי) ואיזו
פעולה לבצע על המחסנית(הוצאה/הכנסה/שום-דבר)
DRYICE