تالار گفتمان مانشت

نسخه‌ی کامل: چند تا سئوال
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام چند تا سوال
1- مجموعه رشته هایی روی مجموعه a,b که رشته aba را تولید نکند.
2 - مجموعه رشته هایی روی مجموعه a,b تولید کنید که a ها حداقل برابر b ها باشد.
3- گرامری طراحی کنید که تعداد a,b زوج باشد.
کمی شک دارم دوستان هم نظر بدن . بعد ارشد مخم خوب کار نمی کنه .Smile

گرامری که تعداد a,b زوج باشد :

[tex]S\rightarrow aaS|bbS|\lambda[/tex]
[tex]S\rightarrow abSab|baSba[/tex]
یا
[tex]S\rightarrow aSa|bSb|SS|aa|bb|\lambda[/tex]

تعداد a حداقل برابر با b :

[tex]S\rightarrow SaSbS|SbSaS|A[/tex]
[tex]A\rightarrow aA|a[/tex]

یا


[tex]S\rightarrow SS|aSb|bSa|aS|Sa|\lambda[/tex]
اولی اشتباهه. abab رو تولید نمیکنه.
(30 فروردین 1391 09:02 ب.ظ)blackhalo1989 نوشته شده توسط: [ -> ]اولی اشتباهه. abab رو تولید نمیکنه.

ممنون حق با شماست اصلاح شد .
نمی دونم شاید بازم عیب داشته باشه .
کمی درسا یادم رفتهSmile
دیدید چه وضعیتی داره آدم؟ حالا دوستانی که تابستون به من میگفتن چرا چیزی یادت نمونده تحویل بگیرن.
سلام. زبان سوال ۱ منظمه. گرامرش میشه:

[tex]S\to aS|bA|\lambda[/tex]
[tex]A\to bA|bS|\lambda[/tex]

سوال ۲ که زبانش مستقل از متنه و جواب آقا یاسر درسته. یعنی:

[tex]S\to SS|aSb|bSa|aS|\lambda[/tex]

سوال ۳ هم میشه:

[tex]S\to SS|aSa|bSb|abSab|baSba|\lambda[/tex]

ولی چون زبانش منظمه بهتره بفرم خطی بنویسیم:

[tex]S\to aA|bB|\lambda[/tex]
[tex]A\to aS|bC[/tex]
[tex]B\to aC|bS[/tex]
[tex]C\to aB|bA[/tex]
ممنون از همه دوستان اگه ممکنه به صورت رشته جواب بدهید.
بصورت رشته :

1. در مورد سوال اول میشه تمام رشته ها روی a,b بجز رشته aba به عبارت دیگه : [tex]\sum ^{*}-{{aba}}[/tex]

2. در مورد سوال دوم که a حداقل برابر با b باشد یعنی تعداد a >=b :
{a,ab,aabb,aba,abba,lambda.......}

3. در مورد سوال سوم که تعداد a ,b زوج باشد داریم :

{[tex]\lambda[/tex] و aabb,bbaa,abab,baba,aabbbb,aaaabb,aa,bb,......}
لینک مرجع