27 فروردین 1391, 03:58 ب.ظ
27 فروردین 1391, 04:41 ب.ظ
[tex]S\rightarrow aAcc|abccc[/tex]
[tex]A\rightarrow aAcc|B[/tex]
[tex]B\rightarrow bBc|\lambda[/tex]
[tex]A\rightarrow aAcc|B[/tex]
[tex]B\rightarrow bBc|\lambda[/tex]
توضیح : (ابتدا گرامر رو نوشتم لامبدا تولید می کرد دوستمون اشاره کرد اصلاح کردم)
ابتدا abccc رو می نویسیم چون n,m>0 سپس باید سراغ A بریم و در این قانون تعداد c دو برابر a تولید می گردد و سپس سراغ B
می رویم تا تعداد مساوی b و c تولید گردد مثلا رشته aabccccc را بخواهیم اشتقاق کنیم داریم :
[tex]S\Rightarrow A\Rightarrow aAcc\Rightarrow aaAcccc\Rightarrow aaBcccc\Rightarrow aabBccccc\Rightarrow aabccccc[/tex]
اگه m,n>=0 انگاه داریم :
[tex]S\rightarrow A|abccc[/tex]
[tex]A\rightarrow aAcc|B[/tex]
[tex]B\rightarrow bBc|\lambda[/tex]
[tex]A\rightarrow aAcc|B[/tex]
[tex]B\rightarrow bBc|\lambda[/tex]
27 فروردین 1391, 05:19 ب.ظ
گرامر شما نال رو هم تولید میکنه. S->A و A->B و B->y. اگه از مسیری که نوشتم بریم به نال میرسیم. این گرامر برای m,n حداقل یک رو رعایت میکنه:
[tex]S\to aScc|aAcc[/tex]
[tex]A\to bAc|bc[/tex]
[tex]A\to bAc|bc[/tex]
27 فروردین 1391, 05:25 ب.ظ
(27 فروردین 1391 05:19 ب.ظ)Lakikharin نوشته شده توسط: [ -> ]گرامر شما نال رو هم تولید میکنه. S->A و A->B و B->y. اگه از مسیری که نوشتم بریم به نال میرسیم. این گرامر برای m,n حداقل یک رو رعایت میکنه:اگه منظور از نال همون لامبدا باشه
[tex]S\to aScc|aAcc[/tex]
[tex]A\to bAc|bc[/tex]
درسته منم دوباره چک کردم به همین رسیدم .می خواستم اعمال کنم شما هم بازم با دقت بالاتون اشاره کردید .
لامبدا تولید می کنه بالا اصلاح کردم.
گرامر شما درستتره.
راستی شما کی ارشد امتحان میدی فکر کنم راحت تک رقمی شی