afnd_to_afd.gv

digraph {
	node [shape = doublecircle]; q1_q2 q2;
	node [shape = point]; initial;
	node [shape = circle];

	initial -> q0;
	q0 -> q1 [label="a"]; q0 -> q0_q1 [label="b"]; 
	q0_q1 -> q1_q2 [label="a"]; q0_q1 -> q0_q1 [label="b"]; 
	q1_q2 -> q2 [label="a"]; q1_q2 -> q1 [label="b"]; 
	q2 -> q2 [label="a"]; q2 -> q1 [label="b"]; 
	q1 -> q2 [label="a"]; 
}