1 Date: Mon, 19 Sep 2005 19:28:52 +0100
\r
2 Mime-Version: 1.0 (Produced by PhpWiki 1.3.11p1)
\r
3 X-Rcs-Id: $Id: GraphVizPlugin,v 1.2 2005-10-10 19:58:13 rurban Exp $
\r
4 Content-Type: application/x-phpwiki;
\r
5 pagename=GraphVizPlugin;
\r
6 pgsrc_version="2 $Revision: 1.2 $";
\r
10 Content-Transfer-Encoding: binary
\r
16 digraph automata_0 {
\r
18 node [shape = circle];
\r
19 0 [ style = filled, color=lightgrey ];
\r
20 2 [ shape = doublecircle ];
\r
21 0 -> 2 [ label = "a " ];
\r
22 0 -> 1 [ label = "other " ];
\r
23 1 -> 2 [ label = "a " ];
\r
24 1 -> 1 [ label = "other " ];
\r
25 2 -> 2 [ label = "a " ];
\r
26 2 -> 1 [ label = "other " ];
\r
27 "Machine: a" [ shape = plaintext ];
\r
35 digraph automata_0 {
\r
37 node [shape = circle];
\r
38 0 [ style = filled, color=lightgrey ];
\r
39 2 [ shape = doublecircle ];
\r
40 0 -> 2 [ label = "a " ];
\r
41 0 -> 1 [ label = "other " ];
\r
42 1 -> 2 [ label = "a " ];
\r
43 1 -> 1 [ label = "other " ];
\r
44 2 -> 2 [ label = "a " ];
\r
45 2 -> 1 [ label = "other " ];
\r
46 "Machine: a" [ shape = plaintext ];
\r