این زبان مستقل از متنه؟ n_{a}(w)^2 <n_{b}(w)^2 - نسخهی قابل چاپ |
RE: این زبان مستقل از متنه؟ - saria - 05 بهمن ۱۳۸۹ ۱۲:۳۶ ق.ظ
این که این زبان منظمه شاید رو این بشه بحث کرد ..ولی رو مستقل از متن بودنش نمیشه شک کرد(نه من نه ماشین پشته ای ) چون ذاتش شبیه چیزیه که موقع طراحی ماشین پشته ای بهش توجه شده یعنی ای ماشین پشته ای تو میتونی اخرین ورودیه یه رشته رو با اولین ورودی رشته دیگه ببینی و مقایسه کنی |
RE: این زبان مستقل از متنه؟ - mehr.iman - 05 بهمن ۱۳۸۹ ۱۲:۴۳ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۱۲:۳۶ ق.ظ)saria نوشته شده توسط: این که این زبان منظمه شاید رو این بشه بحث کرد ..ولی رو مستقل از متن بودنش نمیشه شک کرد(نه من نه ماشین پشته ای ) چون ذاتش شبیه چیزیه که موقع طراحی ماشین پشته ای بهش توجه شده یعنی ای ماشین پشته ای تو میتونی اخرین ورودیه یه رشته رو با اولین ورودی رشته دیگه ببینی و مقایسه کنیکسی هم رو مستقل از متن بودنش بحثی نکرد!،به نظر من که منظم نیست،این که نمیشه ما بگیم اگه w رو Lombda بگیریم پس منظم میشه اگه نگیریم چی؟!،اگه جای * علامت + بود هم باز نمیشد،اگه کلا نه * نه + بود میشد! |
RE: این زبان مستقل از متنه؟ - shahryar - 05 بهمن ۱۳۸۹ ۱۲:۴۴ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۱۲:۳۶ ق.ظ)saria نوشته شده توسط: این که این زبان منظمه شاید رو این بشه بحث کرد ..ولی رو مستقل از متن بودنش نمیشه شک کرد(نه من نه ماشین پشته ای ) چون ذاتش شبیه چیزیه که موقع طراحی ماشین پشته ای بهش توجه شده یعنی ای ماشین پشته ای تو میتونی اخرین ورودیه یه رشته رو با اولین ورودی رشته دیگه ببینی و مقایسه کنیمنم منظورم همین بود.فقط خواستم تاکید کنم اگه + باشه منظمه! |
RE: این زبان مستقل از متنه؟ - saria - 05 بهمن ۱۳۸۹ ۱۲:۴۵ ق.ظ
ولی باید به ذات یه ماشین چه پشته ای چه هر ماشین دیگه ای که چه چیزی واسش معنی داره توجه کرد به نظر من ماشین پشته ای توان ۲ رو نمیشناسه براش مفهوم نیس(بیچاره بهش یاد ندادن خوب ) (۰۴ بهمن ۱۳۸۹ ۰۹:۵۰ ب.ظ)۵۴m4n3h نوشته شده توسط:به قیافش نه (کلا ادمای ظاهر بین ادمای خوبی نیستن)(04 بهمن ۱۳۸۹ ۰۹:۳۹ ب.ظ)afagh1389 نوشته شده توسط: سمانه خانم این زبانی که میگید مستقل از متنه چون میشه به جای W,W^R لاندا گذاشت. کسی هم رو مستقل از متن بودنش بحثی نکرد!،به نظر من که منظم نیست،این که نمیشه ما بگیم اگه w رو Lombda بگیریم پس منظم میشه اگه نگیریم چی؟!،اگه جای * علامت + بود هم باز نمیشد،اگه کلا نه * نه + بود میشد! [/quote] منظم هست من این طور زبان هارو اینطور تحلیل میکنم که وقتی کنار W W R U میاد که عضو {a,b}* هست میاد اون نظم و اون قوانینی که منظم محدودیت داره تو چک کردنش میشکنه و در واقع زبان عضو {a,b}* میشه(در واقع W WR )رو خراب میکنه |
RE: این زبان مستقل از متنه؟ - shahryar - 05 بهمن ۱۳۸۹ ۱۲:۵۸ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۱۲:۴۵ ق.ظ)saria نوشته شده توسط: به قیافش نه (کلا ادمای ظاهر بین ادمای خوبی نیستن)استدلالت کاملا درسته! |
RE: این زبان مستقل از متنه؟ - ف.ش - ۰۵ بهمن ۱۳۸۹ ۰۱:۲۸ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۱۲:۲۹ ق.ظ)shahryar نوشته شده توسط: این زبان اگه [tex]w \epsilon (a,b) [/tex] باشه منظمه و اگر [tex]w \epsilon (a,b)*[/tex] بله دقیقا برعکس گفتید اگه [tex]w \epsilon (a,b) [/tex] دیگه منظم نیست!!! چون دیگه نمیشه جاش لاندا گذاشت. اگه هم بخواین a,b بگذارین جواب نمیده !! |
RE: این زبان مستقل از متنه؟ - shahryar - 05 بهمن ۱۳۸۹ ۰۱:۴۵ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۰۱:۲۸ ق.ظ)afagh1389 نوشته شده توسط:نه دیگه!شما برعکس گفتید!(05 بهمن ۱۳۸۹ ۱۲:۲۹ ق.ظ)shahryar نوشته شده توسط: این زبان اگه [tex]w \epsilon (a,b) [/tex] باشه منظمه و اگر [tex]w \epsilon (a,b)*[/tex] اگر * باشه به جای U و v می تونیم landa بذاریم و ماشین باید W WRرا قبول کنه.خوب این زبان هم مستقل از متنه دیگه! |
این زبان مستقل از متنه؟ - ف.ش - ۰۵ بهمن ۱۳۸۹ ۰۱:۵۴ ق.ظ
باید به جای W و WR لاندا بگذاریم که همه رشتهها رو بپذیره و منظمه.چون این سوال همه رشتهها رو شامل میشه و فقط شامل WWR نیست!!! |
این زبان مستقل از متنه؟ - ف.ش - ۰۵ بهمن ۱۳۸۹ ۰۱:۵۷ ق.ظ
اینجوری که شما میگید مثلا aabb عضو زبان نیست ولی اگه u=aa , v=bb باشه این رشته عضو زبانه در حالی که روشی که شما گفتین این رشته رو نمیپذیره!! |
این زبان مستقل از متنه؟ - shahryar - 05 بهمن ۱۳۸۹ ۰۱:۵۸ ق.ظ
الان که تو کتاب نگا کردم تو صورت سوال نوشته + نه * و با + آقای لینز گفته منظمه! |
RE: این زبان مستقل از متنه؟ - ف.ش - ۰۵ بهمن ۱۳۸۹ ۰۲:۰۳ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۰۱:۵۷ ق.ظ)sepid نوشته شده توسط: نه هر دوشون منظم هستند.بله حق با شماست این موردی که همش باعث میشه من اشتباه کنم این حالته که دیگه منظم نیست!!!! [tex]{ww^{R}v| w,v\epsilon (a,b)^{ }}[/tex] |
این زبان مستقل از متنه؟ - sepid - 05 بهمن ۱۳۸۹ ۰۲:۰۴ ق.ظ
نه هر دوشون منظم هستند. زبان [tex]uww^{R}v:w,u,v\epsilon {(a,b)}*[/tex] میشه [tex](a b)^{*}[/tex] زبان [tex]uww^{R}v:u,v,w\epsilon{(a,b)^{ }}[/tex] میشه [tex](a b)^{ }(aa bb)(a b)^{ }[/tex] |
RE: این زبان مستقل از متنه؟ - shahryar - 05 بهمن ۱۳۸۹ ۰۲:۱۰ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۰۲:۰۴ ق.ظ)sepid نوشته شده توسط: نه هر دوشون منظم هستند.نه! تو حالتی که * داره فرض کنید به جای u و v تهی بذاریم .اون وقت ماشین باید w WR رو که مستقل از متنه قبول کنه.پس منظم نیست. |
این زبان مستقل از متنه؟ - ف.ش - ۰۵ بهمن ۱۳۸۹ ۰۲:۱۴ ق.ظ
نیازی به لاندا گذاشتن واسه u و v نیست ما وقفی میتونیم همه رشتهها رو پوشش بدیم نیازی به این کار نیست. شما هر رشته ای که داشته باشی میتونی با لاندا گذاشتن w به این نتیجه برسی که این شرط برای اون رشته صادقه پس اصلا به این فکر نکنید که u , v رو لاندا بگذارید. من در مورد جواب این سوال مطمئنم چون جزو تستهای کنکوره. |
RE: این زبان مستقل از متنه؟ - shahryar - 05 بهمن ۱۳۸۹ ۰۲:۱۸ ق.ظ
(۰۵ بهمن ۱۳۸۹ ۰۲:۱۴ ق.ظ)afagh1389 نوشته شده توسط: نیازی به لاندا گذاشتن واسه u و v نیست ما وقفی میتونیم همه رشتهها رو پوشش بدیم نیازی به این کار نیست.چرا نمیشه؟!آقا من دوس دارم به جای u و v تهی بذارم!مشکلش چیه؟ حرف شما رو منم قبول دارم اگه به جای * + باشه. |