wolffd@0: digraph automata_0 {
wolffd@0: 	size ="8.5, 11";
wolffd@0: 	node [shape = circle];
wolffd@0: 	0 [ style = filled, color=lightgrey ];
wolffd@0: 	2 [ shape = doublecircle ];
wolffd@0: 	0 -> 2 [ label = "a " ];
wolffd@0: 	0 -> 1 [ label = "other " ];
wolffd@0: 	1 -> 2 [ label = "a " ];
wolffd@0: 	1 -> 1 [ label = "other " ];
wolffd@0: 	2 -> 2 [ label = "a " ];
wolffd@0: 	2 -> 1 [ label = "other " ];
wolffd@0: 	"Machine: a" [ shape = plaintext ];
wolffd@0: }