سوال گفته زبان تولید شده توسط
s--->aSb|bSa|a
را شرح دهید
این گرامر زبان هایی را تولید می کند که تعداد a ها در اون یک عدد از تعداد b ها بیشتر است. در واقع اگر به جای اون a آخر لاندا قرار داشت، رشته هایی تولید میشد که تعداد a ها با b ها برابر باشد!
نمیدونم اینجور جوابی تا چه حد قابل قبول باشه ولی دیگه بهتر از این نیافتم!
[tex]waw'^{R}[/tex]
[tex]w'[/tex] رشته ای که از جایگزین کردن aها و bها به جای هم در w بدست میاد!
(۲۶ مهر ۱۳۹۲ ۰۲:۳۹ ق.ظ)Mehrdad_CS نوشته شده توسط: این گرامر زبان هایی را تولید می کند که تعداد a ها در اون یک عدد از تعداد b ها بیشتر است. در واقع اگر به جای اون a آخر لاندا قرار داشت، رشته هایی تولید میشد که تعداد a ها با b ها برابر باشد!
منم اول همین فکرو کردم اما واسه این رشته نتونستم اشتقاق بدست بیارم!
aaababbba
(۲۶ مهر ۱۳۹۲ ۰۲:۴۷ ق.ظ)nazanin_sh نوشته شده توسط: نمیدونم اینجور جوابی تا چه حد قابل قبول باشه ولی دیگه بهتر از این نیافتم!
[tex]waw'^{R}[/tex]
[tex]w'[/tex] رشته ای که از جایگزین کردن aها و bها به جای هم در w بدست میاد!
(۲۶ مهر ۱۳۹۲ ۰۲:۳۹ ق.ظ)Mehrdad_CS نوشته شده توسط: این گرامر زبان هایی را تولید می کند که تعداد a ها در اون یک عدد از تعداد b ها بیشتر است. در واقع اگر به جای اون a آخر لاندا قرار داشت، رشته هایی تولید میشد که تعداد a ها با b ها برابر باشد!
منم اول همین فکرو کردم اما واسه این رشته نتونستم اشتقاق بدست بیارم!
aaababbba
به جای 'w که تعریف نشده است روش نمایش دیگه ای می شه براش پیدا کرد؟
(۲۶ مهر ۱۳۹۲ ۰۳:۴۲ ق.ظ)SnowBlind نوشته شده توسط:(26 مهر ۱۳۹۲ ۰۲:۳۹ ق.ظ)Mehrdad_CS نوشته شده توسط: ا واقع اگر به جای اون a آخر لاندا قرار داشت، رشته هایی تولید میشد که تعداد a ها با b ها برابر باشد!نه لزوما! abbaabba رو تولید نمیکنه
این گرامر [tex]waw^{r}[/tex] رو تولید میکنه
نه هادی
اشتباه می کنی
مثالش رشته ی زیر
abbab a abaab
(۲۶ مهر ۱۳۹۲ ۰۳:۳۱ ق.ظ)afshin18 نوشته شده توسط:(26 مهر ۱۳۹۲ ۰۲:۴۷ ق.ظ)nazanin_sh نوشته شده توسط: نمیدونم اینجور جوابی تا چه حد قابل قبول باشه ولی دیگه بهتر از این نیافتم!
[tex]waw'^{R}[/tex]
[tex]w'[/tex] رشته ای که از جایگزین کردن aها و bها به جای هم در w بدست میاد!
(۲۶ مهر ۱۳۹۲ ۰۲:۳۹ ق.ظ)Mehrdad_CS نوشته شده توسط: این گرامر زبان هایی را تولید می کند که تعداد a ها در اون یک عدد از تعداد b ها بیشتر است. در واقع اگر به جای اون a آخر لاندا قرار داشت، رشته هایی تولید میشد که تعداد a ها با b ها برابر باشد!
منم اول همین فکرو کردم اما واسه این رشته نتونستم اشتقاق بدست بیارم!
aaababbba
به جای 'w که تعریف نشده است روش نمایش دیگه ای می شه براش پیدا کرد؟
والا من چیزی به ذهنم نمیرسه . سوال فقط شرح زبان رو خواسته . فکر نمیکنم اینجور جواب دادن مشکلی داشته باشه!
رشته ی [tex]w'[/tex] رو تعریف کردم که!
[tex]w'[/tex] رشته ای که از جایگزین کردن aها و bها به جای هم در w بدست میاد!
(۲۶ مهر ۱۳۹۲ ۰۲:۰۸ ب.ظ)nazanin_sh نوشته شده توسط:حق با شماست(26 مهر ۱۳۹۲ ۰۳:۳۱ ق.ظ)afshin18 نوشته شده توسط:(26 مهر ۱۳۹۲ ۰۲:۴۷ ق.ظ)nazanin_sh نوشته شده توسط: نمیدونم اینجور جوابی تا چه حد قابل قبول باشه ولی دیگه بهتر از این نیافتم!
[tex]waw'^{R}[/tex]
[tex]w'[/tex] رشته ای که از جایگزین کردن aها و bها به جای هم در w بدست میاد!
(۲۶ مهر ۱۳۹۲ ۰۲:۳۹ ق.ظ)Mehrdad_CS نوشته شده توسط: این گرامر زبان هایی را تولید می کند که تعداد a ها در اون یک عدد از تعداد b ها بیشتر است. در واقع اگر به جای اون a آخر لاندا قرار داشت، رشته هایی تولید میشد که تعداد a ها با b ها برابر باشد!
منم اول همین فکرو کردم اما واسه این رشته نتونستم اشتقاق بدست بیارم!
aaababbba
به جای 'w که تعریف نشده است روش نمایش دیگه ای می شه براش پیدا کرد؟
والا من چیزی به ذهنم نمیرسه . سوال فقط شرح زبان رو خواسته . فکر نمیکنم اینجور جواب دادن مشکلی داشته باشه!
رشته ی [tex]w'[/tex] رو تعریف کردم که!
[tex]w'[/tex] رشته ای که از جایگزین کردن aها و bها به جای هم در w بدست میاد!
منظور من روش ریاضی وار بود برای تعریف 'w یه روش هست خودم مطمئن نیستم اونم استفاده از تابع ()h هست
یعنی w و رو تعریف کنیم
با استفاده از اون 'w رو تعریف کنیم
و بعد اونها رو الحاق بدیم
(۲۸ مهر ۱۳۹۲ ۱۰:۰۴ ب.ظ)aaa@hgg.com نوشته شده توسط: an را بخوانید a به توان nگرامر شما این رشته رو نمیپذیره دوست عزیز : ababaababab
{an bn n=>0} U {am bm m>=0} a {an bn n=>0} U {am bm m>=0}
ولی این رشته جز گرامرمونه
هدف از طرح این سوال به جهت تمرین در خصوص همورفیزم Homomorphism بوده است.
این گرامر رشته هایی را تولید میکند که از سه قسمت تشکیل شده اند: x a y
x , y هر دو همزمان یا تهی هستند یا شرایط ذیل در خصوص آنها برقرار است:
y برابر است با اعمال تابع Homomorphism زیر به ترتیب بر روی تک تک عناصر x :
f: x --> y
{f(a)=b و f(b)=a}
شرایط زیر نیز همواره برقرار است:
--طول رشته همواره فرد است.
--تعداد a,b در دو رشته ی x , y همواره برابر می باشد.
-- و . . .
در ضمن این گرامر در صورتی رشته هایی که در آن تعداد aها یکی بیشتر از تعداد bها را تولید می کرد که که قاعده ی S-->SS را نیز دارا بود. در واق به صورت مقابل می بود: s--->aSb|bSa|SS|a
توجه داشته باشید که عدم وجود قاعده ی S-->SS باعث می شود بتوانیم رشته های x,y(رشتهای سمت چپa و رشته های سمت راستa) را با هر ترکیب دلخواه انتخاب کنیم و عدم وجود ان باعث می گردد دو زیر رشته ی x,y از لحاظ ویژگی های تعداد و ترتیب با هم در ارتباط بوده و در واقع وابسته باشند.
(۲۹ مهر ۱۳۹۲ ۰۵:۲۹ ق.ظ)aaa@hgg.com نوشته شده توسط: هدف از طرح این سوال به جهت تمرین در خصوص همورفیزم Homomorphism بوده است.والا منم همینو گفتم اعمال تابع هم که آقای افشین گفتن . حالا چرا دوستان منفی میدن الله اعلم
این گرامر رشته هایی را تولید میکند که از سه قسمت تشکیل شده اند: x a y
x , y هر دو همزمان یا تهی هستند یا شرایط ذیل در خصوص آنها برقرار است:
y برابر است با اعمال تابع Homomorphism زیر به ترتیب بر روی تک تک عناصر x :
f: x --> y
{f(a)=b و f(b)=a}
شرایط زیر نیز همواره برقرار است:
--طول رشته همواره فرد است.
--تعداد a,b در دو رشته ی x , y همواره برابر می باشد.
-- و . . .
در ضمن این گرامر در صورتی رشته هایی که در آن تعداد aها یکی بیشتر از تعداد bها را تولید می کرد که که قاعده ی S-->SS را نیز دارا بود. در واق به صورت مقابل می بود: s--->aSb|bSa|SS|a
توجه داشته باشید که عدم وجود قاعده ی S-->SS باعث می شود بتوانیم رشته های x,y(رشتهای سمت چپa و رشته های سمت راستa) را با هر ترکیب دلخواه انتخاب کنیم و عدم وجود ان باعث می گردد دو زیر رشته ی x,y از لحاظ ویژگی های تعداد و ترتیب با هم در ارتباط بوده و در واقع وابسته باشند.
کاش مدیر محترم این بخش از منفی دادن بیخود جلوگیری کنه . نه به خاطر منفی ، به خاطر اینکه نفر بعدی که بیاد اینارو بخونه گیج میشه که چی درسته چی غلطه