digraph finite_state_machine {
	rankdir=LR;
	size="8,5"
	node [shape = doublecircle]; 2 5;
	node [shape = circle];
	1 -> 2 [ label = "e" ];
	2 -> 3 [ label = "a" ];
	2 -> 4 [ label = "a" ];
	3 -> 5 [ label = "e" ];
	3 -> 6 [ label = "a" ];
	4 -> 5 [ label = "b" ];
	5 -> 6 [ label = "a" ];
	6 -> 5 [ label = "b" ];
}