سلام
همه میدونیم که [tex]ww^{R}[/tex] رو میشه با push down طراحی کرد.
اما چیزی که برای من سواله اینه که با لم پامپینگ میشه به این نتیجه رسید که این زبان مستقل از متن نیست.
به نظر شما مشکل چیه؟
برای این زبان به راحتی میشه یک PDA غیر قطعی طراحی کرد پس این زبان حتما مستقل از متن است.شما احتمالا در استفاده از لم پامپینگ یه جایی اشتباه کردید که به این نتیجه رسیدید که این زبان مستقل از متن نیست.
این که میگم اشتباهه؟
[tex]L(G)=ww^{r}[/tex]
[tex]w=a^{m}b ba^{m}[/tex]
[tex]vy=a^{l}[/tex]
[tex]w{_{0}}=a^{m-l}b ba^{m}[/tex]
حالا میشه گفت این زبان مستقل از متن نیست؟؟
چی میشه که اینجا یه دفعه همه با هم میان کلی تاپیک و جواب میذارن
بعد یه دفعه هم همه میرن انگار هیچکی نیست؟!!!!!!
اگه میشه نظرتون رو راجع به موضوع بالا بگین تا من بدونم کجا اشتباه میکنم.
از توجهتون واقعا ممنونم.
درسته ایجا رشته ای انتخاب شده که طبق اون زبان، مستقل از متن نیست اما به هر حال برای این زبان "یک مثال نغض پیدا شده"
یعنی ما باید در هر صورت تجزیه ای رو پیدا کنیم که منظم بشه، حتی اگه مثال نقضی وجود داشت؟
نه شما باید همیشه بدترین انتخاب ممکن رو از طرف حریف فرضیتون در نظر داشته باشید.