الجملة 1: لأن DFAs يمكن تخفيضها إلى شكل `` القانوني'(DFAs الفعالة) ، وهناك أيضا خوارزميات الحد الأدنى لتحديد: الجملة 2: لأن DFAs يمكن تخفيضها إلى شكل `` canonical'(حد أدنى من DFAs) ، هناك أيضًا خوارزميات فعالة لتحديد: السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟