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

[next][prev][up][toc]

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||--