2. Dado un autómata de estado-finito A con función de estado-eventual N y dados cualesquier estados s y t en A, decimos que s y t son k-equivalent...

2. Dado un autómata de estado-finito A con función de estado-eventual N y dados cualesquier estados s y t en A, decimos que s y t son k-equivalentes si y sólo si, .