Seja M = (Q,Σ, q₀, A, δ) AFD, p,q∈Q e ≡⊆Q×Q definidapor p≡q sse∀x∈Σ*(δ*(p,x)∈A ↔ δ*(q,x)∈A). Então(p∈A ∧ q∉A) →¬(p≡q)

Seja M = (Q,Σ, q₀, A, δ) AFD e q∈Q. O estado q é acessível em M sse∃x∈Σ* δ*(q₀,x) = q.

Seja M = (Q,Σ, q₀, A, δ) AFD, p,q∈Q e ≡⊆Q×Q definidapor p≡q sse∀x∈Σ*(δ*(p,x)∈A ↔ δ*(q,x)∈A). Então∃a∈Σ δ(p,a)≡δ(q,a)→p≡q

Seja M = (Q,Σ, q₀, A, δ) AFD e p,q∈Q. Os estados p e q são indistinguíveis em M sse "x∈Σ*(δ*(p,x)∈A ↔ δ*(q,x)∈A).