(۲۴ فروردین ۱۳۹۰ ۰۹:۴۶ ب.ظ)afagh1389 نوشته شده توسط:  لطفا از لینک ارسال پاسخ جدید استفاده کنید که بتونید فرمولها رو در TEX بنویسید.

[tex]a^nb^m| n m‌: Even[/tex]

n+m وقتی زوج است که یا n و m هر دو فرد باشند یا هردو زوج

پس شما کافی است گرامری بنویسید که یا [tex]a^nb^m | n,m even[/tex]

یا [tex]a^nb^m | n,m odd[/tex]

را تولید کنید.

[tex]S\rightarrow aA|D[/tex]

[tex]A\rightarrow aaA|B[/tex]

[tex]B\rightarrow bbB|b[/tex]

[tex]D\rightarrow aaA|C[/tex]

[tex]C\rightarrow bbB|\lambda[/tex]


که استفاده از قانون D منجر به تولید رشته‌ها با m,n زوج است.

گرامر منظم است و شما میتوانید برای آن DFA رسم کنید.(کلا زوج و فرد بودن رو با استفاده از تغییر وضعیت میتوان مشخص کرد)

اینکه گفتین D باعث شده که گرامر منظم نباشه رو من متوجه نمیشم!!!
------------------
[tex]C\rightarrow bbB|\lambda[/tex] باعث میشد تعداد b ها فرد بشه.


[tex]S\rightarrow aA|D[/tex]

[tex]A\rightarrow aaA|B[/tex]

[tex]B\rightarrow bbB|b[/tex]

[tex]D\rightarrow aaA|C[/tex]

[tex]C\rightarrow bbC|\lambda[/tex]

با تشکر از
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

---

[quote='saharp' pid='53341' dateline='1321031110']
میشه اینجوری هم جواب داد؟؟؟؟
[tex]S\rightarrow bA|aB|\lambda[/tex]
[tex]A\rightarrow bS|aC[/tex]
[tex]B\rightarrow aS|bC[/tex]
[tex]C\rightarrow aA|bB|\lambda[/tex]