در گرایش نظریه زبان ها و ماشین ها از علوم کامپیوتر، زبان های پشته ای عیان (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) نیز بسته می باشد.
روابط متعددی برای زبان های فوق الذکر با دیگر زبان ها بیان شده است، که به عنوان مثال می توان به رابطه اَبَرکلاس بودن زبان های عطفی خطی، که خود زیرمجموعه ای از زبان های عطفی در حالت کلی هستند، برای مجموعه زبان های پشته ای عیان اشاره نمود. همین طور مخترعین کلاس زبان های پشته ای عیان یک زِبَرکلاس از زبان های درخت دودویی منظم را به این کلاس از زبان ها ارتباط داده اند.
برای تعریف زبان های پشته ای عیان طبیعی است که ابتدا بایستی رابطه تناظر را تعریف نماییم. طبق روال معمول، برای هر عدد صحیح نامنفی همانند ℓ {\displaystyle \ell } با نماد مجموعه ی { 1 , 2 , … , ℓ − 1 , ℓ } {\displaystyle \{1,2,\ldots ,\ell -1,\ell \}} را نمایش می دهیم. همین طور فرض می کنیم برابر با مجموعه تهی است.
از تعریف زبان های پشته ای عیان بر می آید که زبان های پشته ای عیان تصمیم پذیر (Deterministic Visibly Pushdown Languages) یک کلاس خاص از زبان های پشته ای تصمیم پذیر (Deterministic Pushdown Languages) و به عبارتی زیرمجموعه ای از آن ها باشند. مجموعهٔ زبان های پشته ای عیان تحت اعمال اشتراک، اجتماع و متمم گیری بسته می باشد، لذا تشکیل دهنده یک جبر بولی (Boolean Algebra) می باشد. همین طور این مجموعه تحت اعمال ستاره کلین (Kleene Star ) و پیوست (Concatenation) نیز بسته می باشد.
روابط متعددی برای زبان های فوق الذکر با دیگر زبان ها بیان شده است، که به عنوان مثال می توان به رابطه اَبَرکلاس بودن زبان های عطفی خطی، که خود زیرمجموعه ای از زبان های عطفی در حالت کلی هستند، برای مجموعه زبان های پشته ای عیان اشاره نمود. همین طور مخترعین کلاس زبان های پشته ای عیان یک زِبَرکلاس از زبان های درخت دودویی منظم را به این کلاس از زبان ها ارتباط داده اند.
برای تعریف زبان های پشته ای عیان طبیعی است که ابتدا بایستی رابطه تناظر را تعریف نماییم. طبق روال معمول، برای هر عدد صحیح نامنفی همانند ℓ {\displaystyle \ell } با نماد مجموعه ی { 1 , 2 , … , ℓ − 1 , ℓ } {\displaystyle \{1,2,\ldots ,\ell -1,\ell \}} را نمایش می دهیم. همین طور فرض می کنیم برابر با مجموعه تهی است.
wiki: زبان های پشته ای عیان