digraph decimal_ed { 

// pattern [label=""];
n0[label="grammars: W2 D8 2E PER 1E"];
n1[ label="seq"];
n0 -> n1;
n2[ label="0-1"];
n1 -> n2;
n3[ label="re"];
n2 -> n3;
n4[ label="or"];
n3 -> n4;
n5[ label="seq"];
n4 -> n5;
n6[ label="1-1"];
n5 -> n6;
n7[ label="charClass"];
n6 -> n7;
n8[ label="SCE: +"];
n7 -> n8;
n9[ label="seq"];
n4 -> n9;
n10[ label="1-1"];
n9 -> n10;
n11[ label="'-'"];
n10 -> n11;
n12[ label="1-1"];
n1 -> n12;
n13[ label="re"];
n12 -> n13;
n14[ label="or"];
n13 -> n14;
n15[ label="seq"];
n14 -> n15;
n16[ label="1-1"];
n15 -> n16;
n17[ label="re"];
n16 -> n17;
n18[ label="seq"];
n17 -> n18;
n19[ label="1-*"];
n18 -> n19;
n20[ label="[0-9]"];
n19 -> n20;
n23[ label="0-1"];
n18 -> n23;
n24[ label="re"];
n23 -> n24;
n25[ label="seq"];
n24 -> n25;
n26[ label="1-1"];
n25 -> n26;
n27[ label="charClass"];
n26 -> n27;
n28[ label="SCE: ."];
n27 -> n28;
n29[ label="0-*"];
n25 -> n29;
n30[ label="[0-9]"];
n29 -> n30;
n33[ label="seq"];
n14 -> n33;
n34[ label="1-1"];
n33 -> n34;
n35[ label="re"];
n34 -> n35;
n36[ label="seq"];
n35 -> n36;
n37[ label="1-1"];
n36 -> n37;
n38[ label="charClass"];
n37 -> n38;
n39[ label="SCE: ."];
n38 -> n39;
n40[ label="1-*"];
n36 -> n40;
n41[ label="[0-9]"];
n40 -> n41;
 }