Tipos de estados

Acessibilidade de um estado

Possibilidade de ir do estado 𝑖 para o estado 𝑗 (existe caminho na cadeia de i para j)