ماشین قطعی پشته ای

در نظریهٔ اتوماتا یک اتومات های قطعی پشته ای (Deterministic Pushdown Automaton) یک نمونه از اتومات های پشته ای می باشد.ماشین اتومات های قطعی پشته ای زبان مستقل از متن قطعی را می پذیرد که زیرمجموعه ای از زبان های مستقل از متن است.
Q مجموعهٔ متناهی از وضعیت ها
Σ مجموعهٔ متناهی از الفبای ورودی
Γ مجموعهٔ متناهی از نمادهای موجود در استک
q که عضو Q می باشد و وضعیت شروع را مشخص می کند
Z0 نماد شروع استک
A زیرمجموعه ای از وضعیت های پایانی می باشد
δ تابع انتقال می باشد که به صورت زیر تعریف می شود
انتقال های ماشین براساس وضعیت موقعیت فعلی و نماد ورودی و نماد بر روی استک تایین می شود و قابل ذکر است که نمادهای پایین تر در پشته قابلرویت نبوده و همچنین اثر فوری ندارند. اقدامات ماشین شامل حل دادن، ظاهر یا یا جایگزینی پشته بالا می باشد.
اوتوماسیون پشته های قطعی حد اکثر یک انتقال قانونی برای همان ترکیب از نماد ورودی، حالت و نماد بالایی پشته می باشد.این همان نقطهٔ تفاوت (اوتوماسیون پشته های قطعی) از پشته های غیر قطعی می باشد.
یک ماشین پشته ای قطعی، یک هفتایی به صورت (M=(Q,Σ، Γ,q،Z0,A، δ که