digraph positiveInteger_w3 { 

// pattern [label=""];
n0[label="grammars: W2 D8 2E PER 1E"];
n1[ label="seq"];
n0 -> n1;
n2[ label="0-1"];
n1 -> n2;
n3[ label="charClass"];
n2 -> n3;
n4[ label="SCE: +"];
n3 -> n4;
n5[ label="1-*"];
n1 -> n5;
n6[ label="[0-9]"];
n5 -> n6;
 }