گزینه ۱ درسته چون برای مثال میتونیم برای زبان [tex]L(M)= {w| w\epsilon \left \{ a,b \right \}^{*}} [/tex]
دو گرامر زیر رو داشته باشیم
[tex]S \to aS|bS|\lambda[/tex]
و
[tex]S \to aA|bB|\lambda[/tex]
[tex]A \to aS|\lambda[/tex]
[tex]B \to bS|\lambda[/tex]
پس گزینه ۱ جواب ما نیست.
گزینه ۳ هم درسته چون برای مثال میتونیم برای زبان [tex]L(M)= {a^{n}b^{m}, n,m\geq 0}[/tex]
دو عبارت منظم
[tex]a^{*}b^{*}[/tex]
و
[tex]a^{*}b^{*} a^{*} b^{*}[/tex]
رو داشته باشیم
پس ۳ و ۱ از بین گزینهها حذف شدن.
گزینه ۲و ۴ رو نمیدونم