] > LR(1) but not LALR(1)

7.9 LR(1) but not LALR(1)

S Aa
bAc
Bc
bBa
A d
B d

   ||||
 --|  ||-    --|||||||     -|||||||-
 -AB→→dd⋅⋅,a,c -    -S→B ⋅c,$---c-||S→Bc⋅,$-|
 -||I1||--     |||I2|||     |||I3|||
   d||    B|||
 --| |||-|||
-S→→⋅⋅AbAac,,$$||     ||||||       ||||||
- →⋅Bc,$ --A--|-|    ||--a-|-|    |||
- →⋅bBa,$--   -S→AI⋅4a,$--   -|S→AIa5⋅,$--
--AB→→ ⋅d⋅d,a,c -       ||||         ||||
 -||I0||--
   b||
 --|||||-
-S→b⋅Ac,$--   --|||||||-   --|||||||-
- →Ab→⋅Ba⋅d,,c$ -A-|-S→bA ⋅c,$---c-|S→bAc⋅,$-|
--B→ ⋅d,a --    |||I7|||     |||I8|||
 -||I6||- ----
  |d|||| B  ---|
 -A→d⋅,c|-    -||||||||| a --|||-||||
 -B→d⋅,a -    -S→bIB⋅a,$----||S→bIBa⋅,$||
 -||I9||--     |||10|||     |||11|||

Note. In LALR we should merge states I1 and I9 since they have the same core

   ||||||
--||    |||-
-AB→→dd ⋅,{⋅,{aa,c,}c}  |
-|I1|+I9||--