در نظریهٔ محاسبه، یک ماشین پشته ای مشبک، یک ماشین متناهی است که می تواند از پشته ی شامل داده هایی که ممکن است پشته های اضافی باشند، استفاده کند. مانند یک ماشین پشته ای، یک ماشین پشته ای مشبک ممکن است، در پشته، بالا یا پایین رود و نماد جاری را بخواند؛ علاوه بر این، ممکن است در هر مکانی یک پشتهٔ جدید بسازد، در آن عمل کند، در نهایت آن را خراب کند، و اجرا در پشتهٔ قدیمی را ادامه بدهد. بدین طریق، پشته ها می توانند به طور بازگشتی، تا یک عمق دلخواه مشبک شوند، اگرچه ماشین همیشه فقط در درونی ترین پشته عمل می کند. یک ماشین پشته ای مشبک قادر به شناسایی زبان شاخص دار است و در حقیقت مجموعهٔ زبان های شاخص دار، دقیقاً مجموعهٔ زبان های پذیرفته شده بوسیلهٔ ماشین پشته ای مشبک غیر قطعی یک طرفه است.ماشین پشته ای مشبک نباید با ماشین پشته ای محاط اشتباه گرفته شود، که توان محاسباتی کمتری دارد.
Q , Σ و Γ یک مجموعهٔ متناهی غیر تهی به ترتیب از وضعیت ها، نمادهای ورودی، و نمادهای پشته ای می باشد.
و ] نمادهای خاص متفاوت غیر مشمول در Σ ∪ Γ است.
به عنوان مشخصهٔ پایانی سمت راست برای این رشته ها استفاده می شود.
] به عنوان مشخصهٔ نهایی رشته ای که کل دسته را نشان می دهد، استفاده می شود.
یک ماشین پشته ای مشبک غیر قطعی دو طرفه، چندتایی
‹Q,Σ، Γ,δ،q0,Z0,F,,]›
است که در آن:
Q , Σ و Γ یک مجموعهٔ متناهی غیر تهی به ترتیب از وضعیت ها، نمادهای ورودی، و نمادهای پشته ای می باشد.
و ] نمادهای خاص متفاوت غیر مشمول در Σ ∪ Γ است.
به عنوان مشخصهٔ پایانی سمت راست برای این رشته ها استفاده می شود.
] به عنوان مشخصهٔ نهایی رشته ای که کل دسته را نشان می دهد، استفاده می شود.
یک ماشین پشته ای مشبک غیر قطعی دو طرفه، چندتایی
‹Q,Σ، Γ,δ،q0,Z0,F,,]›
است که در آن:
wiki: ماشین پشته ای مشبک