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