और इसमें, पहले उन स्टेट की पहचान की जाती है जो समकक्ष नहीं हो सकती है क्योंकि उनके आउटपुट मेल नहीं खाते हैं और उसके बाद पिछले चरण में संबंध का उपयोग बार- बार किया जाता है और न्यूनतम स्टेट उपलब्ध कराने के लिए अंतिम विभाजन प्राप्त होता है.