Теперь можно построить таблицу LR-анализатора:
a | b | $ | S | A | |
0 | s3 | s4 | 1 | 2 | |
1 | accept | ||||
2 | s6 | s7 | 5 | ||
3 | s3 | s4 | 8 | ||
4 | r3 | r3 | |||
5 | r1 | ||||
6 | s6 | s7 | 9 | ||
8 | r2 | r2 | |||
9 | r2 |
Нетрудно заметить, что пары состояний 3 и 6, 4 и 7, 8 и 9 различаются только вторыми компонентами, определяющих их ситуаций. Поэтому мы можем "склеить" эти пары. В результате получится таблица LALR-анализатора:
a | b | $ | S | A | |
0 | s36 | s47 | 1 | 2 | |
1 | accept | ||||
2 | s36 | s47 | 5 | ||
36 | s36 | s47 | 89 | ||
47 | r3 | r3 | r3 | ||
5 | r1 | ||||
89 | r2 | r2 | r2 |