Supongamos el árbol del dibujo representando un espacio de estados cualquiera.