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