Demostración: Por la propiedad (12.3.2), para cada entero k 0, la k-equivalencia es una relación de equivalencia. Pero por el teorema 10.3.4, la di...

Demostración: Por la propiedad (12.3.2), para cada entero k 0, la k-equivalencia es una relación de equivalencia. Pero por el teorema 10.3.4, la distintas clases de equivalencia de una relación de equivalencia forman una partición del conjunto en el que se define la relación. En este caso, la relación se define en los estados del autómata. Así las k-clases de equivalencia forman un partición del conjunto de todos los estados del autómata.