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

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