comparison toolboxes/graph_visualisation/share/graphviz/graphs/directed/dfa.gv @ 0:e9a9cd732c1e tip

first hg version after svn
author wolffd
date Tue, 10 Feb 2015 15:05:51 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:e9a9cd732c1e
1 digraph g {
2 "start" [ label = "MWGC-" ];
3 "n1" [ label = "WC-MG" ];
4 "n2" [ label = "MWC-G" ];
5 "n3" [ label = "C-MWG" ];
6 "n4" [ label = "W-MGC" ];
7 "n5" [ label = "MGC-W" ];
8 "n6" [ label = "MWG-C" ];
9 "n7" [ label = "G-MWC" ];
10 "n8" [ label = "MG-WC" ];
11 "n9" [ label = "-MWGC" ];
12 "start" -> "n1" [ label = "g" ];
13 "n1" -> "start" [ label = "g" ];
14 subgraph l { rank = same; "n3" "n4" }
15 subgraph r { rank = same; "n5" "n6" }
16 "n1" -> "n2" [ label = "m" ];
17 "n2" -> "n1" [ label = "m" ];
18 "n2" -> "n3" [ label = "w" ];
19 "n3" -> "n2" [ label = "w" ];
20 "n2" -> "n4" [ label = "c" ];
21 "n4" -> "n2" [ label = "c" ];
22 "n3" -> "n5" [ label = "g" ];
23 "n5" -> "n3" [ label = "g" ];
24 "n4" -> "n6" [ label = "g" ];
25 "n6" -> "n4" [ label = "g" ];
26 "n5" -> "n7" [ label = "c" ];
27 "n7" -> "n5" [ label = "c" ];
28 "n6" -> "n7" [ label = "w" ];
29 "n7" -> "n6" [ label = "w" ];
30 "n7" -> "n8" [ label = "m" ];
31 "n8" -> "n7" [ label = "m" ];
32 "n8" -> "n9" [ label = "g" ];
33 "n9" -> "n8" [ label = "g" ];
34 }