پذیرنده متناهی قطعی

من یه مساله دارم.اگه دوستان در حلش بهم کمک کنند ممنون میشم.نیاز فوری به حلش دارم !!!!!!!!:گریه:

پذیرنده متناهی قطعی برای زبان زیر روی ∑={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 رو شمارش کنیم.
چیزی که شما نوشتید غلط چون بعضی حالات رو در نظر نگرفته ولی معلوم بود که فهمیدید چیکار باید میکردید.
جوابش رو اینجا گذاشتم.
حالا باز چک کن ببین میتونی ساده ترش کنی یا ازش اشتباه بگیری؟!!
با رنگهای متنوع کشیدم که فهمش ساده تر بشه.