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