الجملة الاولى: لان الـ "DFAs" يمكن ان يقلصوا الى شكل "قنوى" (الـ "DFAs" الفعالة) ، هناك ايضا احلى خوارزميات لتحديد: الجملة الثانية: لان الـ "DFAs" يمكن ان يختصروا على الشكل القانوني " (الـ "DFAs" الاصغر) ، هناك ايضا خوارزميات فعالة لتحديد: السؤال: هل الجملة الاولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟