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