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