Experimental tool for shift-resolve parsing (v12.1.1d 2005-12-19) Invoked: ../aut gdn0 -gf SFEBA.gra -dgai 1: S' -> ^ S $ 2: S -> E S F a 3: S -> B E A 4: S -> A b F B 5: F -> E E 6: E -> 7: B -> A b 8: A -> a + Recovery Graph (0): n0: S' -> ^ S · $ -$-> n0 n1: S' -> ^ · S $ -S-> n0 -v n6, n10, n15 n2: S -> E S F a · r2-^ n0, n4 n3: S -> E S F · a -a-> n2 n4: S -> E S · F a -F-> n3 -v n18 n5: S -> E · S F a -S-> n4 -v n6, n22, n27 n6: S -> · E S F a -E-> n5 -v n28 n7: S -> B E A · r3-^ n0 n8: S -> B E · A -A-> n7 -v n30 n9: S -> B · E A -E-> n8 -v n31 n10: S -> · B E A -B-> n9 -v n34 n11: S -> A b F B · r4-^ n0 n12: S -> A b F · B -B-> n11 -v n37 n13: S -> A b · F B -F-> n12 -v n40 n14: S -> A · b F B -b-> n13 n15: S -> · A b F B -A-> n14 -v n42 n16: F -> E E · r5-^ n3 n17: F -> E · E -E-> n16 -v n43 n18: F -> · E E -E-> n17 -v n44 n19: S -> B E A · r3-^ n4 n20: S -> B E · A -A-> n19 -v n46 n21: S -> B · E A -E-> n20 -v n47 n22: S -> · B E A -B-> n21 -v n50 n23: S -> A b F B · r4-^ n4 n24: S -> A b F · B -B-> n23 -v n53 n25: S -> A b · F B -F-> n24 -v n56 n26: S -> A · b F B -b-> n25 n27: S -> · A b F B -A-> n26 -v n58 n28: E -> · r6-^ n5 n29: A -> a · r8-^ n7 n30: A -> · a -a-> n29 n31: E -> · r6-^ n8 n32: B -> A b · r7-^ n9 n33: B -> A · b -b-> n32 n34: B -> · A b -A-> n33 -v n60 n35: B -> A b · r7-^ n11 n36: B -> A · b -b-> n35 n37: B -> · A b -A-> n36 -v n62 n38: F -> E E · r5-^ n12 n39: F -> E · E -E-> n38 -v n63 n40: F -> · E E -E-> n39 -v n64 n41: A -> a · r8-^ n14 n42: A -> · a -a-> n41 n43: E -> · r6-^ n16 n44: E -> · r6-^ n17 n45: A -> a · r8-^ n19 n46: A -> · a -a-> n45 n47: E -> · r6-^ n20 n48: B -> A b · r7-^ n21 n49: B -> A · b -b-> n48 n50: B -> · A b -A-> n49 -v n66 n51: B -> A b · r7-^ n23 n52: B -> A · b -b-> n51 n53: B -> · A b -A-> n52 -v n68 n54: F -> E E · r5-^ n24 n55: F -> E · E -E-> n54 -v n69 n56: F -> · E E -E-> n55 -v n70 n57: A -> a · r8-^ n26 n58: A -> · a -a-> n57 n59: A -> a · r8-^ n33 n60: A -> · a -a-> n59 n61: A -> a · r8-^ n36 n62: A -> · a -a-> n61 n63: E -> · r6-^ n38 n64: E -> · r6-^ n39 n65: A -> a · r8-^ n49 n66: A -> · a -a-> n65 n67: A -> a · r8-^ n52 n68: A -> · a -a-> n67 n69: E -> · r6-^ n54 n70: E -> · r6-^ n55 Direct Noncanonical automaton .......................................... State 1 n1 S n6 E n10 B n15 A n28 n34 A n42 a n5 r6 0 S n60 a n22 B n27 A n50 A n58 a n66 a NS(S) = Shift 2 NS(E) = Shift 3 NS(B) = Shift 4 NS(A) = Shift 5 NS(a) = Shift 6 State 2 n0 $ n4 r6 1 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Accept NS(F) = Resolve 6, pushback 1 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 3 n5 S n6 E n22 B n27 A n28 n50 A n58 a n66 a NS(S) = Shift 8 NS(E) = Shift 3 NS(B) = Shift 9 NS(A) = Shift 10 NS(a) = Shift 11 State 4 n9 E n21 E n31 n47 n8 r6 0 A n20 r6 0 A n30 a n46 a NS(A) = Resolve 6, pushback 0 NS(E) = Shift 12 NS(a) = Shift 13 State 5 n14 b n33 b n26 b n49 b NS(b) = Shift 14 State 6 n41 n59 n57 n65 n14 r8 0 b n33 r8 0 b n26 r8 0 b n49 r8 0 b NS(b) = Resolve 8, pushback 0 State 7 n17 E n16 r6 1 n43 n3 r6 1 a NS(a) = Resolve 6, pushback 1 NS(E) = Shift 15 State 8 n4 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(a) = Resolve 6, pushback 0 NS(F) = Shift 16 NS(E) = Shift 7 State 9 n21 E n47 n20 r6 0 A n46 a NS(A) = Resolve 6, pushback 0 NS(E) = Shift 17 NS(a) = Shift 18 State 10 n26 b n49 b NS(b) = Shift 19 State 11 n57 n65 n26 r8 0 b n49 r8 0 b NS(b) = Resolve 8, pushback 0 State 12 n8 A n20 A n30 a n46 a NS(A) = Shift 20 NS(a) = Shift 13 State 13 n29 n45 n7 r8 0 n19 r8 0 n0 r8 0 $ n4 r8 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 8, pushback 0 NS(F) = Resolve 8, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 14 n13 F n32 n25 F n48 n40 E n9 r7 0 E n56 E n21 r7 0 E n64 n31 n70 n47 n39 r6 0 E n8 r6 0 A n55 r6 0 E n20 r6 0 A n63 n30 a n69 n46 a n38 r6 0 n54 r6 0 n12 r6 0 B n24 r6 0 B n37 A n53 A n62 a n68 a NS(B) = Resolve 6, pushback 0 NS(F) = Shift 21 NS(E) = Shift 22 NS(A) = Shift 23 NS(a) = Shift 24 State 15 n16 n3 r5 0 a NS(a) = Resolve 5, pushback 0 State 16 n3 a NS(a) = Shift 25 State 17 n20 A n46 a NS(A) = Shift 26 NS(a) = Shift 18 State 18 n45 n19 r8 0 n4 r8 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(F) = Resolve 8, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 19 n25 F n48 n56 E n21 r7 0 E n70 n47 n55 r6 0 E n20 r6 0 A n69 n46 a n54 r6 0 n24 r6 0 B n53 A n68 a NS(B) = Resolve 6, pushback 0 NS(F) = Shift 27 NS(E) = Shift 28 NS(A) = Shift 29 NS(a) = Shift 30 State 20 n7 n19 n0 r3 0 $ n4 r3 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 3, pushback 0 NS(F) = Resolve 3, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 21 n12 B n24 B n37 A n53 A n62 a n68 a NS(B) = Shift 31 NS(A) = Shift 32 NS(a) = Shift 33 State 22 n39 E n8 r7 1 A n55 E n20 r7 1 A n38 r6 1 n54 r6 1 n63 n30 a n69 n46 a n12 r6 1 B n24 r6 1 B n37 A n53 A n62 a n68 a NS(B) = Resolve 6, pushback 1 NS(E) = Shift 34 NS(A) = Shift 35 NS(a) = Shift 24 State 23 n7 r6 1 n19 r6 1 n36 b n52 b n0 r6 1 $ n4 r6 1 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 6, pushback 1 NS(F) = Resolve 6, pushback 1 NS(a) = Resolve 6, pushback 0 NS(b) = Shift 36 NS(E) = Shift 7 State 24 n29 n45 n61 n67 n7 r8 0 n19 r8 0 n36 r8 0 b n52 r8 0 b n0 r8 0 $ n4 r8 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(b) = Resolve 8, pushback 0 NS($) = Resolve 8, pushback 0 NS(F) = Resolve 8, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 25 n2 n0 r2 0 $ n4 r2 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 2, pushback 0 NS(F) = Resolve 2, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 26 n19 n4 r3 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(F) = Resolve 3, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 27 n24 B n53 A n68 a NS(B) = Shift 37 NS(A) = Shift 38 NS(a) = Shift 39 State 28 n55 E n20 r7 1 A n54 r6 1 n69 n46 a n24 r6 1 B n53 A n68 a NS(B) = Resolve 6, pushback 1 NS(E) = Shift 40 NS(A) = Shift 41 NS(a) = Shift 30 State 29 n19 r6 1 n52 b n4 r6 1 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(F) = Resolve 6, pushback 1 NS(a) = Resolve 6, pushback 0 NS(b) = Shift 42 NS(E) = Shift 7 State 30 n45 n67 n19 r8 0 n52 r8 0 b n4 r8 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(b) = Resolve 8, pushback 0 NS(F) = Resolve 8, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 31 n11 n23 n0 r4 0 $ n4 r4 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 4, pushback 0 NS(F) = Resolve 4, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 32 n36 b n52 b NS(b) = Shift 36 State 33 n61 n67 n36 r8 0 b n52 r8 0 b NS(b) = Resolve 8, pushback 0 State 34 n38 n54 n12 r5 0 B n24 r5 0 B n37 A n53 A n62 a n68 a NS(B) = Resolve 5, pushback 0 NS(A) = Shift 32 NS(a) = Shift 33 State 35 n7 r7 2 n19 r7 2 n36 b n52 b n0 r7 2 $ n4 r7 2 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 7, pushback 2 NS(F) = Resolve 7, pushback 2 NS(a) = Resolve 6, pushback 0 NS(b) = Shift 36 NS(E) = Shift 7 State 36 n35 n51 n11 r7 0 n23 r7 0 n0 r7 0 $ n4 r7 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS($) = Resolve 7, pushback 0 NS(F) = Resolve 7, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 37 n23 n4 r4 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(F) = Resolve 4, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 State 38 n52 b NS(b) = Shift 42 State 39 n67 n52 r8 0 b NS(b) = Resolve 8, pushback 0 State 40 n54 n24 r5 0 B n53 A n68 a NS(B) = Resolve 5, pushback 0 NS(A) = Shift 38 NS(a) = Shift 39 State 41 n19 r7 2 n52 b n4 r7 2 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(F) = Resolve 7, pushback 2 NS(a) = Resolve 6, pushback 0 NS(b) = Shift 42 NS(E) = Shift 7 State 42 n51 n23 r7 0 n4 r7 0 F n18 E n44 n17 r6 0 E n43 n16 r6 0 n3 r6 0 a NS(F) = Resolve 7, pushback 0 NS(a) = Resolve 6, pushback 0 NS(E) = Shift 7 End of generation.