بهینه سازی DFA :

۱/ تمام وضعیت های غیر قابل دسترس رو حذف کن. مثلا از q0 هیچ جور نمیتونی به q2 برسی. پس راحت یه خط بزن و از صفحه کاغذ محوش کن.

۲/ به ازای هر Qi و  Qj که توی گراف وجود داره زوج مرتب های Qi,Qj رو تشکیل بده.

۳/ از این وضعیت های لیست شده اونایی که یکیشون پایانی و دیگری پایانی نیس رو به سادگی هرچه تمام‌تر حذف میکنیم ...

‌فهرست