این مطلب در وبسایت ویکیپدیا قرار داده‌شده. شما به عنوان یک ناشر، کدام‌یک از متن‌های زیر را به عنوان خلاصه انتخاب می‌کنید؟

مقاله: برای تعریف زبان‌های پشته‌ای عیان طبیعی است که ابتدا بایستی رابطه تناظر را تعریف نماییم. طبق روال معمول، برای هر عدد صحیح نامنفی همانند با نماد [] مجموعه‌ی را نمایش می‌دهیم. همین‌طور فرض می‌کنیم [] برابر با مجموعه تهی است. در این صورت هر رابطه تناظر همانند ↝ بدین‌شکل خواهد بود که برای زیرمجموعه‌ای ازخواهد بود چنان‌که: تمام یال‌های آن رو به جلو هستند، یعنی چنان‌چه i ↝ j آن‌گاه i<j خواهد بود هیچ دو یال موقعیت (مقدمه) یکسان ندارند، بدین‌معنی که برای هر حداکثر یک مقدمه مانند وجود دارد که h↝i و همین‌طور حداکثر یک وجود دارد که i↝j هیچ دو یال از یک‌دیگر عبور نمی‌کنند، بدین‌معنی که اگر آن‌گاه هر دو رابطه i ↝ j و 'i' ↝ j را نمی‌توان داشت هر موقعیت (مقدمه) i نیز به یکی از صور زیر نام‌گذاری می‌شود: موقعیت (مقدمه) فراخوانی (call) در صورتی که به ازای یک j ای داشته باشیم i ↝ j موقعیت (مقدمه) پندینگ (pending) در صورتی که ↝ i موقعیت (مقدمه) بازگشت (return) در صورتی که h ↝ i به ازای یک h موقعیت (مقدمه) بازگشت پندینگ (pending return) در صورتی که i ↝ −∞ موقعیت (مقدمه) داخلی (internal) در تمام دیگر حالات یک کلمه نهفته (nested word) به طول بر زبانی همچون σ یک جفت همانند (↝,w) است طوری که w کلمه‌ای به طول بر زبان σ می‌باشد و ↝ رابطه تناظری به طول می‌باشد. همان‌گونه که از تعریف ماشین‌های پشته‌ای عیان (visibly pushdown automata) برمی‌آید، ماشین‌های پشته‌ای عیان تصمیم‌پذیر (deterministic visibly pushdown automata) یک حالت خاص از ماشین‌های پشته‌ای تصمیم‌پذیر (deterministic pushdown automata) می‌باشند، لذا مجموعه زبان‌های پشته‌ای عیان (vpl) بر هر زبان دلخواه زیرمجموعه‌ای از مجموعه زبان‌های پشته‌ای مستقل از متن تصمیم‌پذیر (dcfl) را تشکیل می‌دهند. مجموعه زبان‌های پشته‌ای عیان (vpl) تحت عملگرهای زیر بسته هستند: عملگرهای مجموعه‌ای: اجتماع اشتراک متمم‌گیری لذا مجموعه زبان‌های پشته‌ای عیان (vpl) تشکیل‌دهنده یک جبر بولی می‌باشد.

متن اول: زبان‌های پشته‌ای عیان
متن دوم: در گرایش نظریه زبان‌ها و ماشین‌ها از علوم کامپیوتر، زبان‌های پشته‌ای عیان (visibly pushdown languages) زبان‌هایی هستند که بین زبان‌های منظم (regular languages) و زبان‌های مستقل‌ازمتن تصمیم‌پذیر (deterministic context-free languages) جای می‌گیرند. این زبان‌ها در سال ۲۰۰۴ میلادی توسط alur and madhusudan پیشنهاد شدند و در مدل کردن ساختارهای طبقاتی کاربرد دارند. این کلاس از زبان‌ها را به اختصار با نماد vpl نمایش می‌دهند. از تعریف زبان‌های پشته‌ای عیان بر می‌آید که زبان‌های پشته‌ای عیان تصمیم‌پذیر (deterministic visibly pushdown languages) یک کلاس خاص از زبان‌های پشته‌ای تصمیم‌پذیر (deterministic pushdown languages) و به عبارتی زیرمجموعه‌ای از آن‌ها باشند.
جواب:
متن دوم