digraph finite_state_machine {
	rankdir=LR;
	size="8,5"
	node [shape = circle];

 left -> center[label =" dirCenter",width=2.5,fixedsize=true, regular=true, shape=circle];
 left -> right[label =" dirRight",width=2.5,fixedsize=true, regular=true, shape=circle];
 center -> left[label =" dirLeft",width=2.5,fixedsize=true, regular=true, shape=circle];
 center -> right[label =" dirRight",width=2.5,fixedsize=true, regular=true, shape=circle];
 left -> right[label =" dirLeft",width=2.5,fixedsize=true, regular=true, shape=circle];
 right -> center[label =" dirCenter",width=2.5,fixedsize=true, regular=true, shape=circle];
}

