LR(1)-et csinálunk és majd rámutatunk, hogy mért nem LR(0).
T0S=T1
T1a=T2
T2S=T3
T3a=T4
T3b=T5
T4S=T6
T6b=T7
T6a=T4
Ha LR(0)-val próbálkoztunk volna, akkor láttuk volna, hogy nem
jön ki, például
már T1-ben is ellentmondás lenne:
szerint Accept lenne, a másik szerint
meg Shift.