مفهوم محاسبات در Pushdown Automata (PDAs)، که در آن پشته فراتر از فشارها و پاپ های موقت اصلاح نمی شود، یک جنبه اساسی از نظریه پیچیدگی محاسباتی در زمینه امنیت سایبری است. PDAها مدل‌های نظری محاسباتی هستند که قابلیت‌های خودکارهای محدود را با ترکیب یک پشته گسترش می‌دهند که به آن‌ها اجازه می‌دهد به طور موثر تشخیص دهند.