در نظریهٔ اتوماتا یک اتومات های قطعی پشته ای (Deterministic Pushdown Automaton) یک نمونه از اتومات های پشته ای می باشد.ماشین اتومات های قطعی پشته ای زبان مستقل از متن قطعی را می پذیرد که زیرمجموعه ای از زبان های مستقل از متن است.Q مجموعهٔ متناهی از وضعیت هاΣ مجموعهٔ متناهی از الفبای ورودیΓ مجموعهٔ متناهی از نمادهای موجود در استکq که عضو Q می باشد و وضعیت شروع را مشخص می کندZ0 نماد شروع استکA زیرمج...
