این یکی از زبان های معروفی است که نه منظمه نه مستقل از متن
در واقع برای اینکه ببینیم یک رشته زیررشته زبان دیگری است باید حالات برابری دو رشته را بررسی کنیم که حالت تساوی هم در زبانهای مستقل از متن امکان ندارد یعنی پشته در جواب دادن به این سوال عاجز است!در واقع حتی با مستقل از متن غیر قطعی هم چنین امکانی وجود نداره چون ما نمی دانیم از کی رشته اول تموم شده که بعد به سراغ زیر مجموعه بودن اون نسبت به رشته دیگری بگردیم!اصلا حالت برابری در پشته امکان ندارد.پشته یکی می تواند تعداد رو بشمارد یکی هم reverse بودن رو....
ولی اگر مثل یکی از تستهای نظریه ۹۲ سوال ۵۶ زبان L3 گفته بود y زیر رشته ای از x است اون وقت مثلا می توانستیم به طور مثال y رو لاندا و x رو زیگما استار بگیریم که اون وقت کل زبان زیگما استار می شد و منظم بود و مستقل از متن هم بنابراین بود!در این سوال چون y رو محدود کرده و گفته یه زیررشته مثلا می توانیم لاندا رو بگیریم که اونوقت زیر مجموعه همه رشته ها است!ودر مجموعه ما هم صدق می کند.
ضمنا این چیزی که گفتم طبق pdf است که از پارسه دارم....که صراحتا این زبانو غیر منظم و غیر مستقل از متن اعلام کرده!
موفق باشید....