第四章第3节 LR(0)分析

LR(0)项目

右部某位置标有圆点的产生式 称为相应文法的一个LR(0)项目

image.png

增广文法

如果G是一个以S 为开始符号的文法，则G 的增广文法 G‘ 就是在G 中加上新开始符号 S' 和产生式 S' -> S 而得到的文法

image.png

文法中的项目

image.png image.png image.png image.png

CLOSURE() 函数

计算给定项目集I 的闭包

image.png

image.png

GOTO() 函数

image.png

构造LR(0)自动机的状态集

image.png image.png image.png

LR(0)分析过程中的冲突

image.png image.png image.png