Parse trace for the prefix grammar Stack (top at right) Remaining Input Action Comment 0 * + op op op shift 2 push input symbol and state 0 * 2 + op op op shift 1 push input symbol and state 0 * 2 + 1 op op op shift 3 push input symbol and state 0 * 2 + 1 op 3 op op reduce 4 reduce E-> op and use goto field of state 1 0 * 2 + 1 E 6 op op shift 3 push input symbol and state 0 * 2 + 1 E 6 op 3 op reduce 4 reduce E-> op and use goto field of state 6 0 * 2 + 1 E 6 E 8 op reduce 3 reduce E->+ E E and use goto field of state 2 0 * 2 E 7 op shift 3 push input symbol and state 0 * 2 E 7 op 3 reduce 3 reduce E-> op and use goto field of state 7 0 * 2 E 7 E 9 reduce 2 reduce E-> * E E and use goto field of state 0 0 E 5 reduce 1 reduce Full -> E and use goto field of state 0 0 Full 4 accept Parse trace for the infix grammar Stack (top at right) Remaining Input Action Comment 0 (op + op) * op shift 2 push input symbol and state 0 ( 2 op + op)*op shift 1 push input symbol and state 0 ( 2 op 1 + op)*op reduce 6 reduce F->op and use goto field of state 2 0 ( 2 F 6 + op )*op reduce 4 reduce T->F and use goto field of state 2 0 ( 2 T 5 + op)*op reduce 2 reduce E->T and use goto field of state 2 0 ( 2 E 7 + op)*op shift 8 push input symbol and state 0 ( 2 E 7 + 8 op)*op shift 1 push input symbol and state 0 ( 2 E 7 + 8 op 1 )*op reduce 6 reduce F->op and use goto field of state 8 0 ( 2 E 7 + 8 F 6 )*op reduce 4 reduce T->F and use goto field of state 8 0 ( 2 E 7 + 8 T 11 )*op reduce 3 reduce E-> E+T and use goto field of state 2 0 ( 2 E 7 )*op shift 10 push input symbol and state 0 ( 2 E 7 ) 10 *op reduce 7 reduce F-> (E) and use goto field of state 0 0 F 6 *op reduce 4 reduce T->F and use goto field of state 0 0 T 5 *op shift 9 push input symbol and state 0 T 5 * 9 op shift 1 push input symbol and state 0 T 5 * 9 op 1 reduce 6 reduce F->op and use goto field of state 9 0 T 5 * 9 F 12 reduce 5 reduce T -> T*F and use goto field of state 0 0 T 5 reduce 2 reduce E->T and use goto field of state 0 0 E 4 reduce 1 reduce Full->E and use goto field of state 0 0 Full 3 accept