(۰۱ بهمن ۱۳۹۱ ۱۱:۰۹ ب.ظ)fa_karoon نوشته شده توسط:  سلام دوستان
شما بگید مگر نه L2 و L3 هم مستقل از متن هستند علاوه بر L1?
[tex]L1=[a^{n}b^{m}c^{n}:m<1000,n\geqslant 0][/tex]
[tex]L2=[WW^{R} , w:w \in \left \{ a,b \right \}^{*}][/tex]
[tex]L3=[a^{n}WW^{R}b^{n} :w \in \left \{ a,b \right \}^{*},n\geqslant 0][/tex]
[tex]L4=[a^{n}b^{m} :n =2^{m}][/tex]

در حل تمرین لینز گفته L3 مستقل از متن است و دکتر کارگهی هم می گن که در واقع L2 وL3 یکی هستن پس هر دو باید مستقل از متن باشند.