Luego se construye la tabla de pares de estados, y a continuación se marcan, de acuerdo a la tercera línea del algoritmo, las filas y columnas correspondientes a los estados finales "c" y "g", salvo la celda que representa el par ("c","g"), puesto que al ser ambos estados finales, pueden ser estados equivalentes.