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