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