(۰۷ بهمن ۱۳۹۰ ۱۰:۴۴ ق.ظ)homa نوشته شده توسط:  من فکر میکنم این زبان مستقل از متنه چون به وسیله‌ی پشته پذیرفته میشه
اما تو یکی از تست‌ها گفته مستقل از متن نیست چراا؟

[tex]\left \{ a^{n}b^{n}a^{n}b^{n} |n\geq 0\right \}[/tex]

این زبان رو احتمالا با a^n.b^n.a^m.b^m اشتباه کردید
درحالی که این زبان بیشتر به زبان a^n.b^n.c^n شبیهه . خاطرتون هست چرا این زبان مستقل از متن نبود؟
به این دلیل که ما بعد از گذاشتن n تا A روی پشته به ازای ملاقات a و برداشتن اونها به ازای ملاقات b دیگه نمیتونیم برای c تعداد n رو اعمال کنیم
درکل این رو در خاطرتون داشته باشید که ماشین تک پشته ای قادر به برقراری یک تساوی n=n بیشتر نیست ولی با ماشین دو پشته ای محدودیتی برای این تساوی‌ها نداریم n=n=n=n=...

اینجا هم شما اگه ماشین پشته ای بخواید طراحی کنید پذیرنده این زبان خواهد بود a^n.b^n.a^m.b^m و نه [tex]\left \{ a^{n}b^{n}a^{n}b^{n} |n\geq 0\right \}[/tex]