به نظرم هر مجموعه از فعالیت ها که بشه تغییر حالاتشون رو با یه جدول تنظیم کرد میتونه نمایشگر یه dfa باشه. مثلا مجموعه کارهای روزانه که صبح از خواب بیدار میشید(حالت شروع).
مثلا اگه امروز امتحان داشته باشید چیکار میکنید (پس به یه حالت مشخص میرید) و اگه امتحان نداشته باشید چیکار میکنید. حالا حالات جدید رو بررسی کنید . اینکار رو اینقدر انجام بدید تا حالت جدیدی تولید نشه. واضحه که تعداد حالات این مسئله محدوده. ضمنا با اینکار یه dfa ناقص (تموم یالها رو برای تموم حالات بررسی نکردید) ساخته میشه. حالا این dfa ناقص رو به dfa تبدیل کنید.