اتاماتای پشته‌ ای یک پذیرنده ی پشته ای غیر قطعی(npda) به  شکل( M=(Q،∑، Γ، ∂،qo،z،F  است. به طوری که در آن : Qیک مجموعه نامتناهی از حالت های داخلی واحد کنترل است، ∑الفبای ورودی است، Γ یک مجموعه متناهی از نشانه ها که الفبای پشته نامیده می شود، (∂:Q×(∑υ{⋋})×Γ تابع انتقال، Q0€Q حالت اولیه واحد کنترل […]