سوال ۱۳ بخش ۲-۳ کتاب پیتر لینز (ویرایش چهارم). گفته شده برای زبان زیر عبارت منظم روی {a,b} بنویسید.
[tex]\left \{ w:(n_{a}(w)-n_{b}(w))mod\neq 0 \right \}[/tex]
خب اول dfa زبان رو رسم می کنیم.
بعد؟ بعضیا گفتن چون دو تا final داریم هر دفعه یکیشو final میگیریم و از روی اونها عبارت منظم مینویسیم و در آخر جمع دو تا عبارت میشه جواب. توی جزوه دکتر کارگهی از یه روش دیگه ای استفاده شده. که من متوجه نشدم چطوری عبارت منظم زیر رو برای این زبان به دست آوردن.
[tex]\left ( ab \left ( aa b\right )\left ( ba \right )^{\ast } \left ( a bb \right )\right )^{\ast }\left ( a\left ( ab \right )^{\ast } aa\left ( ba \right )^{\ast } b\left ( ba \right )^{\ast } bb\left ( ab \right )^{\ast }\right )[/tex]
سلام.
زبان مربوط به اون بخش به این صورت هست: [tex]\left \{ w: (n_{a}(w) \right - n_{b}(w) \right)) mod 3 \neq 0 \}[/tex]
تصویر رو اصلاح بفرمایید.
سلام. یه مبحث داریم با عنوان ساده سازی ماشین متناهی به دو حالت. اون بخش رو مطالعه کنید. به نظرم عبارت منظم بدست اومده از اون ماشین میشه چیزی که نوشتید.
سلام
ساده سازی ماشین متناهی به دو حالت؟ منظورتون کاهش حالتهاست؟ چون دو تا حالت فینال نمیتونن باهم ادغام بشن تو این ماشین. ممنون میشم بیشتر توضیح بدین.
بخش دوم از فصل سوم کتاب لینز رو مطالعه کنید. "ارتباط بین عبارت منظم و زبانهای منظم"
دو حالت پایانی با لاندا به یک حالت پایانی میرن و خودشون غیر پایانی میشن. بعد باید تمام حالت ها بجر حالت شروع و حالت پایانی رو حذف کنید.
سعی کنید گرامر منظم براش بنویسید تا متوجه عبارت بشید !