۲/ $(a b)\equiv (a\cup b)$ فقط اجتماع معادل + در نمایش مجموعه ای هست.
۱/(b+a)=(a+b) چون + به معنی or و ترتیب در or اهمیت نداره
$a* b*$ از بین a,b یکی انتخاب میشه a or b=a+b و به خاطر وجود * هر تعداد دلخواه از هر کدام که انتخاب بشه قابله تولیده حتی صفر تا.میشه اینطور دید:
$(a).(a).....(a)or(b).(b).....(b)or\lambda$

$(a b)*$ میتونیم به تعداد دفعات دلخواه از عبارت داخل پرانتز برای تولید رشته استفاده کنیم.ولی هر بار که خواستیم یکی به طول رشته اضافه کنیم یا یک a یا یک b اضافه میکنیم.بنابراین هر رشته ممکن با حروف a,b و به هر طول دلخواه قابل تولیده.میشه اینطور دید که $(a b).(a b).....(a b)$ و یا اصلا رشته ای به طول صفر تولید بشه چون خاصیت * اینه.

---

(۲۷ دى ۱۳۹۰ ۱۲:۵۱ ب.ظ)پشتکار نوشته شده توسط:  ۴- آیا رابطه زیر صحیحه؟
$(a b)^{*}\equiv a^{*} b^{*}$

۳/ درسته. بعد از *a اول از عبارت(b+lambda) فقط یکی قابل انتخابه مگر اینکه*(b+lambda) یا در اخر پرانتز پایانی کل عبارت * باشه
۴. $(a).(a).....(a)or(b).(b).....(b)or\lambda$ = $a* b*$
ولی
*(a*+b*)*=(a+b)
کلا * با هر عبارتی که بیاد به ما اجازه میده به تعداد دفعات دلخواه اون عبارت رو با خودش الحاق (.) کنیم.

چرا $(a b)^{*}\not\equiv a^{*} b^{*}$ ?
میشه مثالی بیارید؟

در ضمن در مورد سوال ۴ چطوری باید درست تحلیل کنیم؟ چرا a استار نمیتونه به داخل پرانتز بره؟؟؟؟ خیلی عجیبه؟ من با این قضیه خیلی مسئله دارم