(۲۸ مهر ۱۳۹۳ ۱۱:۴۴ ب.ظ)fatemeh69 نوشته شده توسط:  [tex]L^ =L\cup L^2\cup L^3\cup...[/tex]
[tex]L^{\ast}=\lambda\cup L\cup L^2\cup L^3\cup...[/tex]
طبق این دو تعریف واضحه که *L حتما حتما شامل لاندا هست (چه خود L شامل لاندا باشد چه نباشد)
اما با توجه به تعریف +L می فهمیم که L+ به شرطی دارای لاندا است که خود L لاندا داشته باشد (چون اگه L لاندا نداشته باشه دیگه L^2 و L^3 و... هم لاندا نخواهد داشت)


پس در شرایطی که خود L لاندا داشته باشد هم +L و هم *L دارای لاندا هستند و این عبارت [tex]L^ =L^{\ast}-\lambda[/tex]برای اون زبان ها صدق نمی کنه