Разработка компиляторов
Нетрудно заметить, что пары состояний
Теперь можно построить таблицу 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 |
