Разработка компиляторов

       

Нетрудно заметить, что пары состояний


Теперь можно построить таблицу LR-анализатора:

Stateactiongoto
ab$SA
0s3s412
1accept
2s6s75
3s3s48
4r3r3
5r1
6s6s79
8r2r2
9r2


Нетрудно заметить, что пары состояний 3 и 6, 4 и 7, 8 и 9 различаются только вторыми компонентами, определяющих их ситуаций. Поэтому мы можем "склеить" эти пары. В результате получится таблица LALR-анализатора:

Stateactiongoto
ab$SA
0s36 s4712
1accept
2s36 s475
36s36s4789
47r3r3r3
5r1
89r2r2r2



Содержание раздела