[/align]L= a^(n )b^n
(W=a^(m-k1 )(a^(k1 )^i) b^(k2 )( b^(m-k2)^ i
U=a^(m-k1 )
V=a^k1
X=1
y=b^(k2 )
z=b^(m-k2)

حالا اگر منk1+k2<=m >
فرض کردمi=0پس wعضو Lنیست ولی تو صفحه۲۴۱ لینز نوشته که از طریق لم برای زبان های مستقل از متن نمی توانیم رشته پیدا کنیم که عضوLنباشد.
چرا؟؟؟؟؟؟؟
L=a^(n )b^(m )c^m d^n
W=a^(n-k )((a^k)^ i )1((b^k)^i )(b^(m-k)) c^m d^n
حالا اگر من i=0بگیرم w عضوLنیست در صورتی که باید باشد چون اینم مستقل از متن هست؟
بعد توی کتاب گفته که v,yنباید رشته تهی باشد در موردxبگذاریم ۱اشکال دارد؟
میتواند باشد یا خیر؟Y=a^ b^c^n این برای V=1,y=a^k

اگر لطف کنید به این سوالات جواب بدین ممنون می شوم