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]; 4 -> 5 [label = "0/14"]; 1 -> 5 [label = "0/21"]; 1 -> 4 [label = "0/1"]; 3 -> 1 [label = "0/11"]; 3 -> 2 [label = "0/2"]; 3 -> 4 [label = "0/5"]; 2 -> 4 [label = "0/12"]; 0 -> 1 [label = "0/7"]; 0 -> 3 [label = "10/10"]; 0 -> 2 [label = "0/8"]; }