digraph finite_state_machine {

    	fontname="Helvetica,Arial,sans-serif"

    	node [fontname="Helvetica,Arial,sans-serif"]

    	edge [fontname="Helvetica,Arial,sans-serif"]

    	rankdir=LR;

    	node [shape = circle];

    
 2 -> 0 [label = "1"];
 2 -> 7 [label = "1"];
 7 -> 8 [label = "1"];
 5 -> 8 [label = "1"];
 1 -> 5 [label = "1"];
 4 -> 1 [label = "1"];
 8 -> 4 [label = "1"];
 6 -> 2 [label = "1"];
 6 -> 8 [label = "1"];
 3 -> 6 [label = "1"];
 0 -> 2 [label = "1"];
 0 -> 1 [label = "1"];
 0 -> 3 [label = "1"];
}