سلام چند تا سوال
۱- مجموعه رشته هایی روی مجموعه a,b که رشته aba را تولید نکند.
۲ - مجموعه رشته هایی روی مجموعه a,b تولید کنید که a ها حداقل برابر b ها باشد.
۳- گرامری طراحی کنید که تعداد a,b زوج باشد.
کمی شک دارم دوستان هم نظر بدن . بعد ارشد مخم خوب کار نمی کنه .
گرامری که تعداد 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]A\rightarrow aA|a[/tex]
یا
[tex]S\rightarrow SS|aSb|bSa|aS|Sa|\lambda[/tex]
اولی اشتباهه. abab رو تولید نمیکنه.
(۳۰ فروردین ۱۳۹۱ ۰۹:۰۲ ب.ظ)blackhalo1989 نوشته شده توسط: اولی اشتباهه. abab رو تولید نمیکنه.
ممنون حق با شماست اصلاح شد .
نمی دونم شاید بازم عیب داشته باشه .
کمی درسا یادم رفته
دیدید چه وضعیتی داره آدم؟ حالا دوستانی که تابستون به من میگفتن چرا چیزی یادت نمونده تحویل بگیرن.
سلام. زبان سوال ۱ منظمه. گرامرش میشه:
[tex]S\to aS|bA|\lambda[/tex]
[tex]A\to bA|bS|\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]
[tex]A\to aS|bC[/tex]
[tex]B\to aC|bS[/tex]
[tex]C\to aB|bA[/tex]
ممنون از همه دوستان اگه ممکنه به صورت رشته جواب بدهید.
بصورت رشته :
۱/ در مورد سوال اول میشه تمام رشته ها روی a,b بجز رشته aba به عبارت دیگه : [tex]\sum ^{*}-{{aba}}[/tex]
۲/ در مورد سوال دوم که a حداقل برابر با b باشد یعنی تعداد a >=b :
{a,ab,aabb,aba,abba,lambda.......}
۳/ در مورد سوال سوم که تعداد a ,b زوج باشد داریم :
{[tex]\lambda[/tex] و aabb,bbaa,abab,baba,aabbbb,aaaabb,aa,bb,......}