من یه مساله دارم.اگه دوستان در حلش بهم کمک کنند ممنون میشم.نیاز فوری به حلش دارم !!!!!!!!
پذیرنده متناهی قطعی برای زبان زیر روی ∑={a,b} بیابید.
{L={w:|na(w)-nb(w)|mode 3 <2
من یه مساله دارم.اگه دوستان در حلش بهم کمک کنند ممنون میشم.نیاز فوری به حلش دارم !!!!!!!!
پذیرنده متناهی قطعی برای زبان زیر روی ∑={a,b} بیابید.
{L={w:|na(w)-nb(w)|mode 3 <2
این که خیلی راحته
جوابش تو حل المسائل کتاب لینز هست
خوب اگه هست بزارین واسم.من حل المسایل ندارم.
گرافشو میخوام
|na(w)-nb(w)|mode 3 <2 یعنی
|na(w)-nb(w)|mode 3 = 0 یا
|na(w)-nb(w)|mode 3 = 1
چون هر چیزی باقیماندش بر 3 یا 0 میشود یا 1 یا 2؛ پس سه حالت بیشتر نداریم و در بالا معلوم شد از این سه حالت دوحالتش پذیرش میشه. یعنی حالت باقیمانده 1 و 0شکلش هم واست گذاشتم
کلا معنی جمله اینه که تعداد a ها از تعداد b یک بیشتر یا کمتر باشه |na(w)-nb(w)|mode 3 = 1. چون قدر مطلق داریم و
یا تعداد a ها و b ها با هم مساوی باشند. پس شکلش میشه این:
گرافی که در ضمیمه هست رو واسه این مساله طراحی کردم ولی مثل اینکه مشکلش اینه که mod رو داخل قدر مطلق برده و اشتباهه.ولی من متوجه مشکلی که مطرح شده نمیشم میشه بررسی کنید و بگید مشکلش چیه؟
من معذرت میخوام
DFA که کشیدم برای حالت بدون قدر مطلق میشه. یعنی {L={w:na(w)-nb(w)mode 3 <2
حالت با قدر مطلق کمی دشوار تره و باید تمام حالات a و b رو شمارش کنیم.
چیزی که شما نوشتید غلط چون بعضی حالات رو در نظر نگرفته ولی معلوم بود که فهمیدید چیکار باید میکردید.
جوابش رو اینجا گذاشتم.
حالا باز چک کن ببین میتونی ساده ترش کنی یا ازش اشتباه بگیری؟!!
با رنگهای متنوع کشیدم که فهمش ساده تر بشه.
آخرین ویرایش به وسیله pesar irooni : جمعه 08 آبان 1388 در 17:42 عصر