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