در مورد سوال دومتون باید بگم که اصلا این عبارت درست نیست مثلا عبارت [tex](a b)^{*}[/tex] دارای رشته [tex]\lambda[/tex] هست اما [tex]a^{*}b^{ }[/tex] شامل این رشته نیست .بعدش عبارت [tex](a b)^{*}[/tex] یعنی تمام رشته ها با ترکیب a , b اما عبارت [tex]a^{*}b^{ }[/tex] رشته هایی را به ما میدهد که حداقل به یک b ختم شود که با a نیز میتواند شروع شود .

سوال اول:
dfa زبان L1 رو رسم می کنیم.(۲بار رسم شود). سپس از هر یک از حالات که در dfa زبان L1 که به یک حالت پایانی منتهی می شود، اشتراک اون حالت رو با کل زبان L2 بررسی می کنیم، اگر اشتراکی بین مثلا حالت q0 با کل زبان L2 وجود داشته باشه، حالت q0 رو توی dfa دومی به حالت پایانی تغییر میدیم. اگه خود حالتی که بررسی کردیم(اشتراکش رو با زبان L2 بدست آوردیم)،حالت پایانی باشد وهمچنین اگه اشتراکی نداشته باشد، اون حالت رو به غیر پایانه تبدیل می کنیم. توجه داشته باش که برای همه حالت های dfa اولی این کار رو انجام می دیم و همچنین توجه داشته باش که برای هر حالت باید اشتراک با زبان L2 به یک حالت پایانی منتهی شود(واضحتر اینکه بتونیم یک رشته از L1 رو داشته باشیم که با کل L2 اشتراک داشته باشه).
تمرین کن یاد می گیری.
--------------------
سوال دومت:
مراجعه شود به پست قبلی
-----------------------
موفق باشی.