| b

Augmented Grammar Kernel items marked with * Rest of the items are added by closure

ACTION GOTO #1 S’  E #2 E  E + T #3 E  T #4 T  id #5 T  ( E ) $ E T S S0 S,S3 S,S4 S1 S2 S,S7 accept R,#3 S3 R,#4 S4 S5 S,S6 S6 R,#5 S7 S8 R,#2 #1 S’  E #2 E  E + T #3 E  T #4 T  id #5 T  ( E ) Follow(S’)  { $ } Follow(E)  { +, ), $ } Follow(T)  { +, ), $ } S – SHIFT R - REDUCE S# - Next State

S8 S1 S5 S9 S0 S2 S12 S10 S6 S3 S11 S7 S4

ACTION GOTO S – SHIFT R - REDUCE S# - Next State * = id $ S R L S0 accept S,S5 S3 S7 S6 S4 R,Lid S5 S,S11 S,S10 S8 S9 R,RL R,L*R S10 S11 S12 S – SHIFT R - REDUCE S# - Next State

$ S0 * id = id $ $ S0 * S3 id = id $ $ S0 * S3 id S4 = id $ $ S0 * S3 L S6 = id $ $ S0 * S3 R S7 = id $ $ S0 L S2 = id $ $ S0 L S2 = S5 id $ $ S0 L S2 = S5 id S10 $ $ S0 L S2 = S5 L S9 $ $ S0 L S2 = S5 R S8 $ accept

Merge Contains reduce-reduce conflict  not LALR(1)