digraph fsa_sheep {
	rankdir=LR;
	node [shape = point, color=white, fontcolor=white]; start;
	node [shape = doublecircle, color=black, fontcolor=black]; q4 [label=<q<SUB>4</SUB>>];
	node [shape = circle];
	q0 [label=<q<SUB>0</SUB>>];
	q1 [label=<q<SUB>1</SUB>>];
	q2 [label=<q<SUB>2</SUB>>];
	q3 [label=<q<SUB>3</SUB>>];
	start -> q0;
	q0 -> q1 [ label = "b" ];
	q1 -> q2 [ label = "a" ];
	q2 -> q3 [ label = "a" ];
	q3 -> q3 [ label = "a" ];
	q3 -> q4 [ label = "!" ];
}
