digraph test { 
n0[ color=green ];
n1;
n3;
n5;
n7;
n8;
n9;
n10;
n11;
n12;
n13;
n14;
n15;
n17[ fontcolor=red ];
n0 -> n1[ label= "A"];
n1 -> n3[ label= "B"];
n3 -> n5[ label= "A"];
n5 -> n7[ label= "B"];
n7 -> n17[ label= "eps", fontcolor=red];
n7 -> n14[ label= "eps", fontcolor=red];
n8 -> n9[ label= "X"];
n9 -> n8[ label= "eps", fontcolor=red];
n9 -> n11[ label= "eps", fontcolor=red];
n10 -> n11[ label= "eps", fontcolor=red];
n10 -> n8[ label= "eps", fontcolor=red];
n11 -> n15[ label= "eps", fontcolor=red];
n12 -> n13[ label= "Y"];
n13 -> n15[ label= "eps", fontcolor=red];
n14 -> n10[ label= "eps", fontcolor=red];
n14 -> n12[ label= "eps", fontcolor=red];
n15 -> n14[ label= "eps", fontcolor=red];
n15 -> n17[ label= "eps", fontcolor=red];
}
