Ahora, fijamos un estado de referenciau∈S, y parak∈{0,1,…,d−1}, definimos EsAk={x∈S:Pnd+k(u,x)>0 for some n∈\N} decir,\( x \in A...Ahora, fijamos un estado de referenciau∈S, y parak∈{0,1,…,d−1}, definimos EsAk={x∈S:Pnd+k(u,x)>0 for some n∈\N} decir,x∈Ak si y sólo si existem∈\N conm≡dk yPm(u,x)>0.