已知二义文法G[S]为:
S→ifSelseS
S→ifS
S→S:S
S→a
该文法终结符的优先性和结合性说明如下:
(1)else与最近的if结合;
(2)“;”与“a”优先性高于if;
(3)“;”与“a”优先性高于else;
(4)终结符之间满足左结合。
根据上述条件,为文法G[S]构造无冲突的SLR(1)分析表。