digraph test { 
n0;
n1;
n2;
n3;
n4;
n5;
n6;
n7;
n8[ color=green ];
n9[ fontcolor=red ];
n0 -> n1[ label= "A"];
n1 -> n3[ label= "X"];
n2 -> n4[ label= "B"];
n3 -> n7[ label= "eps", fontcolor=red];
n4 -> n6[ label= "Y"];
n5 -> n0[ label= "eps", fontcolor=red];
n5 -> n2[ label= "eps", fontcolor=red];
n6 -> n7[ label= "eps", fontcolor=red];
n7 -> n5[ label= "eps", fontcolor=red];
n7 -> n9[ label= "eps", fontcolor=red];
n8 -> n9[ label= "eps", fontcolor=red];
n8 -> n5[ label= "eps", fontcolor=red];
}
