Hola
Hola alguien sabría cual seria la especificación formal del siguiente grafo

No estoy muy seguro de a que se refiere con "especificación formal". Si se refiere a dar el conjunto de vértices y aristas, éste sería:
\( V=\{x,y,z\} \)
\( A=\langle a=[(x,y)],b=[(x,y)],c=[(x,z)],d=[(z,z)] \rangle \)
Saludos.