source/blog/posts/2008/08/zct-and-cycles-a.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         b [ label = "<b> B | <c> 2 | <p0>" ];
  10         c [ label = "<c> C | <c> 1 | <p0>" ];
  11         stack:p0 -> a:a;
  12         zct:p0 -> a:a;
  13         a:p0 -> b:b;
  14         b:p0 -> c:c;
  15         c:p0 -> b:b;
  16 }
  17