[tex]L={x^{n}y^{n}| x\in {0,1}^{*}, y\in {0,1}^{*} , n>0}[/tex]
----------------------------------------------
جزوه دکتر سید جوادی این رو اینجوری اثبات کرده که
[tex]x\in \sum ^{* } \to x=x^{1}\lambda ^{1}\in L , \sum ^{*}\subseteq L and L \subset \sum ^{*} then L=\sum ^{*}[/tex]
------------------------------------------------------------
حالا مشکل من اینجاست که این مدل روش حل که جاهای دیگه هم دیدم مخصوصا اونجایی که اومده نوشته
x=x^{1}\lambda ^{1}
از کجا اومده؟؟؟؟؟
خیلی فوری ی ی ی
با تشکر بچه ها
[tex]x=x^1 \lambda^1[/tex]خیلی مشخصه که از کجا اومده! یعنی [tex][tex]x[/tex][/tex] برابر با [tex]1[/tex]بار تکرار [tex][tex]x[/tex][/tex] و الحاقش با [tex]\lambda^1[/tex] (که یعنی یک بار تکرار هیچی)!
و از او جایی که [tex]y[/tex] رو میشه [tex]\lambda[/tex] در نظر گرفت و [tex][tex]x[/tex][/tex] هر برابر [tex]\sum ^*[/tex] هست پس میشه یک رشته از [tex]\sum ^*[/tex] رو در نظر گرفت و گفت الان این یه قسمتش از [tex]y[/tex] هست و یه قسمتش از [tex][tex]x[/tex][/tex] یا اصلا درنظر گرفت که همش [tex][tex]x[/tex][/tex] هست([tex]y[/tex] برابر[tex]\lambda[/tex]) یاکلا در نظر گرفت که همش [tex]y[/tex] هست([tex][tex]x[/tex][/tex] برابر [tex]\lambda[/tex]) و از اونجایی که همه این حالات در [tex]\sum ^*[/tex] رخ میده و از اونجایی [tex][tex]x[/tex][/tex] برابر [tex]\sum ^*[/tex] هست، میشه همیشه [tex]y[/tex] رو [tex]\lambda^1[/tex] در نظر گرفت و گفت که کلا زبان برابر [tex][tex]x[/tex][/tex] هست. که در اون صورت زبان برابر با [tex]\sum ^*[/tex] شده که یک عبارت منظم است!