[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] شده که یک عبارت منظم است!