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