digraph decimal_w3 { 

// pattern [label=""];
n0[label="grammars: W2 D8 2E 1E"];
n1[ label="seq"];
n0 -> n1;
n2[ label="0-1"];
n1 -> n2;
n3[ label="charClass"];
n2 -> n3;
n4[ label="any_of"];
n3 -> n4;
n5[ label="'-'"];
n4 -> n5;
n6[ label="'+'"];
n4 -> n6;
n7[ label="1-1"];
n1 -> n7;
n8[ label="re"];
n7 -> n8;
n9[ label="or"];
n8 -> n9;
n10[ label="seq"];
n9 -> n10;
n11[ label="1-*"];
n10 -> n11;
n12[ label="[0-9]"];
n11 -> n12;
n15[ label="0-1"];
n10 -> n15;
n16[ label="re"];
n15 -> n16;
n17[ label="seq"];
n16 -> n17;
n18[ label="1-1"];
n17 -> n18;
n19[ label="charClass"];
n18 -> n19;
n20[ label="SCE: ."];
n19 -> n20;
n21[ label="0-*"];
n17 -> n21;
n22[ label="[0-9]"];
n21 -> n22;
n25[ label="seq"];
n9 -> n25;
n26[ label="1-1"];
n25 -> n26;
n27[ label="charClass"];
n26 -> n27;
n28[ label="SCE: ."];
n27 -> n28;
n29[ label="1-*"];
n25 -> n29;
n30[ label="[0-9]"];
n29 -> n30;
 }