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

سلام
این زبان که از تمرینات لینز هست
[tex]l=vww^{R}u:u,v,w\in\left \{ a,b \right \}^{ }[/tex]
خود لینز گفته که منظم هست چون میتونیم رشته w w^R رو aa یا bb بگیریم
من گیج شدم ! زبان داره یه حالت کلی رو تعریف میکنه
پس چه جوری میتونیم خودمون روی w شرط بذاریم ؟
پس بقیه حالات w مثل ab چی میشن؟

سلام. حالتی که w=ab باشه زیرمجموعه حالتیه که w=b باشه هست. در واقع هر رشته ای که عضو زبان باشه یکجا غیر از ابتدا و انتهای رشته یکی از زیررشته های aa یا bb رو داره. ما همون زیر رشته رو برابر ww^R میگیریم.

(05 آذر 1392 02:53 ق.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. حالتی که w=ab باشه زیرمجموعه حالتیه که w=b باشه هست. در واقع هر رشته ای که عضو زبان باشه یکجا غیر از ابتدا و انتهای رشته یکی از زیررشته های aa یا bb رو داره. ما همون زیر رشته رو برابر ww^R میگیریم.

متوجه شدم سپاس مجدد آقای جویباری

وای من متوجه نشدم چجوری منظم میشه یعنی ماشین متناهیش چجوریه؟؟؟

(16 آذر 1392 11:07 ب.ظ)hoda ahmadi نوشته شده توسط: [ -> ]وای من متوجه نشدم چجوری منظم میشه یعنی ماشین متناهیش چجوریه؟؟؟

عبارت منظمش میشه [tex](a b)^ (aa bb)(a b)^ [/tex].