سلام
این زبان که از تمرینات لینز هست
[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 میگیریم.
(۰۵ آذر ۱۳۹۲ ۰۲:۵۳ ق.ظ)Jooybari نوشته شده توسط: سلام. حالتی که w=ab باشه زیرمجموعه حالتیه که w=b باشه هست. در واقع هر رشته ای که عضو زبان باشه یکجا غیر از ابتدا و انتهای رشته یکی از زیررشته های aa یا bb رو داره. ما همون زیر رشته رو برابر ww^R میگیریم.متوجه شدم
سپاس مجدد آقای جویباری
وای من متوجه نشدم چجوری منظم میشه یعنی ماشین متناهیش چجوریه؟؟؟
(۱۶ آذر ۱۳۹۲ ۱۱:۰۷ ب.ظ)hoda ahmadi نوشته شده توسط: وای من متوجه نشدم چجوری منظم میشه یعنی ماشین متناهیش چجوریه؟؟؟
عبارت منظمش میشه [tex](a b)^ (aa bb)(a b)^ [/tex].