در گرایش از ، زبان‌های پشته‌ای عیان (Visibly Pushdown Languages) زبان‌هایی هستند که بین (Regular Languages) و (Deterministic Context-free Languages) جای می‌گیرند. این زبان‌ها در سال ۲۰۰۴ میلادی توسط Alur and Madhusudan پیشنهاد شدند و در مدل کردن ساختارهای طبقاتی کاربرد دارند. این کلاس از زبان‌ها را به اختصار با نماد VPL نمایش می‌دهند.
 از تعریف زبان‌های پشته‌ای عیان بر می‌آید که زبان‌های پشته‌ای عیان تصمیم‌پذیر (Deterministic Visibly Pushdown Languages) یک کلاس خاص از زبان‌های پشته‌ای تصمیم‌پذیر (Deterministic Pushdown Languages) و به عبارتی زیرمجموعه‌ای از آن‌ها باشند. مجموعهٔ زبان‌های پشته‌ای عیان تحت اعمال اشتراک، اجتماع و متمم‌گیری بسته می‌باشد، لذا تشکیل‌دهنده یک (Boolean Algebra) می‌باشد. همین‌طور این مجموعه تحت اعمال (Kleene Star ) و پیوست (Concatenation) نیز بسته می‌باشد.
 روابط متعددی برای زبان‌های فوق‌الذکر با دیگر زبان‌ها بیان‌شده‌است، که به عنوان مثال می‌توان به رابطه اَبَرکلاس بودن زبان‌های عطفی خطی، که خود زیرمجموعه‌ای از زبان‌های عطفی در حالت کلی هستند، برای مجموعه زبان‌های پشته‌ای عیان اشاره نمود. همین‌طور مخترعین کلاس زبان‌های پشته‌ای عیان یک زِبَرکلاس از زبان‌های منظم را به این کلاس از زبان‌ها ارتباط داده‌اند.
 برای تعریف زبان‌های پشته‌ای عیان طبیعی است که ابتدا بایستی رابطه تناظر را تعریف نماییم. طبق روال معمول، برای هر نامنفی همانند با نماد [ ] مجموعه‌ی را نمایش می‌دهیم. همین‌طور فرض می‌کنیم [ ] برابر با است.
 در این صورت هر رابطه تناظر همانند ↝ بدین‌شکل خواهد بود که برای   زیرمجموعه‌ای از خواهد بود چنان که:
 
 
 هر موقعیت (مقدمه) i نیز به یکی از صور زیر نام‌گذاری می‌شود:
 
 
 
 
 یک کلمه نهفته (Nested Word) به طول بر زبانی همچون Σ یک جفت همانند (↝, ) است طوری که کلمه‌ای به طول بر زبان Σ می‌باشد و ↝ رابطه تناظری به طول می‌باشد.
 همان‌گونه که از تعریف ماشین‌های پشته‌ای عیان (visibly pushdown automata) برمی‌آید، ماشین‌های پشته‌ای عیان تصمیم‌پذیر (deterministic visibly pushdown automata) یک حالت خاص از ماشین‌های پشته‌ای تصمیم‌پذیر (deterministic pushdown automata) می‌باشند، لذا مجموعهٔ زبان‌های پشته‌ای عیان (VPL) بر هر زبان دلخواه زیرمجموعه‌ای از مجموعهٔ زبان‌های پشته‌ای مستقل از متن تصمیم‌پذیر (DCFL) را تشکیل می‌دهند.
 
 مجموعهٔ زبان‌های پشته‌ای عیان (VPL) تحت عملگرهای زیر بسته هستند:
 لذا مجموعهٔ زبان‌های پشته‌ای عیان (VPL) تشکیل‌دهندهٔ یک می‌باشد.
 
 توصیفات کلاس زبان‌های پشته‌ای عیان متعدد است، به عنوان مثال می‌توان با مدارهای بولی بدین‌نحو آن‌ها را بیان کرد که معادل مساله تعیین کردن این هستند که آیا کلمه‌ای به طول L توسط یک چنین اتوماتایی پذیرفته می‌شود یا خیر، توسط یک چنین مداری با عمق از قابل حل هست یا خیر.
{"title": "زبان‌های پشته‌ای عیان", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%BE%D8%B4%D8%AA%D9%87%E2%80%8C%D8%A7%DB%8C_%D8%B9%DB%8C%D8%A7%D9%86&oldid=29218530", "language": "fa"}