Missed edges are added to transitive closure.

Author: gsvgit

tex/figures/graph/graph5.tex

@@ -25,5 +25,7 @@
           edge[bend left, above]  node {} (q_3)
     (q_3) edge[loop above] node {} ()
           edge[bend left, below]  node {} (q_2)
+          edge[bend left, below]  node {} (q_0)
+          edge[bend right, below]  node {} (q_1)
     ;
 \end{tikzpicture}