سوال ۱۳ بخش ۲-۳ کتاب پیتر لینز (ویرایش چهارم). گفته شده برای زبان زیر عبارت منظم روی {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]