digraph g { node [shape=circle]; 0 -> 1 [label=A] 1 -> 2 [label=B] 2 -> 2 [label=A] 2 -> 2 [label=B] 2 -> 2 [label=C] }