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


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