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