Posteriormente, se marcan las celdas restantes de acuerdo a la cuarta línea del algoritmo, notando que el par ("b", "f") queda asociado con el par ("c", "g"), y así finalmente se obtiene el autómata final, agrupando los estados "b" y "f", así como "c" y "g", tal y como se muestra en la segunda figura del ejemplo.