Skaidykime automato būsenas į klases pagal tokias taisykles: 1. visos būsenos, priklausančios vienai klasei, turi būti k - ekvivalentinės. 2. visos būsenos, priklausančios skirtingoms klasėms, turi būti k - atskiriamos.
Toks skaidymas vadinamas automato k - ekvivalentiniu skaidymu ir žymimas Pk. Klasės Pk vadinamos k - ekvivalentiškumo klasėmis ir žymimos Σk1, Σk2 .. Σks.

Ekvivalentinis skaidymas špera