پذیرنده متناهی قطعی [بایگانی]

fa_te64

سه شنبه 28 مهر 1388, 21:57 عصر

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

پذیرنده متناهی قطعی برای زبان زیر روی ∑={a,b} بیابید.

{L={w:|na(w)-nb(w)|mode 3 <2

pesar irooni

چهارشنبه 29 مهر 1388, 01:09 صبح

این که خیلی راحته
جوابش تو حل المسائل کتاب لینز هست

fa_te64

پنج شنبه 30 مهر 1388, 22:01 عصر

خوب اگه هست بزارین واسم.من حل المسایل ندارم.:ناراحت:

fa_te64

شنبه 02 آبان 1388, 21:44 عصر

گرافشو میخوام

pesar irooni

یک شنبه 03 آبان 1388, 23:52 عصر

|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 ها با هم مساوی باشند. پس شکلش میشه این:
شکلش هم واست گذاشتم

fa_te64

چهارشنبه 06 آبان 1388, 21:23 عصر

گرافی که در ضمیمه هست رو واسه این مساله طراحی کردم ولی مثل اینکه مشکلش اینه که mod رو داخل قدر مطلق برده و اشتباهه.ولی من متوجه مشکلی که مطرح شده نمیشم میشه بررسی کنید و بگید مشکلش چیه؟

pesar irooni

جمعه 08 آبان 1388, 17:30 عصر

من معذرت میخوام
DFA که کشیدم برای حالت بدون قدر مطلق میشه. یعنی {L={w:na(w)-nb(w)mode 3 <2
حالت با قدر مطلق کمی دشوار تره و باید تمام حالات a و b رو شمارش کنیم.
چیزی که شما نوشتید غلط چون بعضی حالات رو در نظر نگرفته ولی معلوم بود که فهمیدید چیکار باید میکردید.
جوابش رو اینجا گذاشتم.
حالا باز چک کن ببین میتونی ساده ترش کنی یا ازش اشتباه بگیری؟!!
با رنگهای متنوع کشیدم که فهمش ساده تر بشه.