digraph nonPositiveInteger_w3 { 

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