source/blog/posts/2008/08/zct-and-cycles-b.dot

   1
   2 digraph zct
   3 {
   4         node [fontsize=12];
   5         node [ shape = "record" ];
   6         stack [ label = "<stack> Stack | <p0> | <p1> | <p2>" ];
   7         zct [ label = "<zct> ZCT | <p0> | <p1> | <p2>" ];
   8         a [ label = "<a> A | <c> 0 | <p0>" ];
   9         subgraph cluster_b_c
  10         {
  11                 label = "Lost cycle";
  12                 b [ label = "<b> B | <c> 1 | <p0>" ];
  13                 c [ label = "<c> C | <c> 1 | <p0>" ];
  14                 b:p0 -> c:c;
  15                 c:p0 -> b:b;
  16         }
  17         stack:p0 -> a:a;
  18         zct:p0 -> a:a;
  19 }
  20