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

