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