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