形式语言与编译-LR文法-ppt个人学习

规范归约

⌲ CFG (V, T, P, S)的几个术语：
⌲ 短语，对于句型αAβ若有A ⇒+ δ则称δ 是句型αδβ的短语，是相对于变元A的短语。
⌲ 直接短语，对于句型αAβ若有A ⇒ γ 则称γ是句型αγβ的直接短语，是相对于A→γ的直接短语。
⌲ 句柄，句型中的最左直接短语被称为该句型的句柄。

短语的判断：
判断的时候，上面的非终结符不能再吸收除了判断对象以外的其他非终结符。只有一条线连接。一直向上。

直接短语：
上面提到的连线只有一条。

句柄:
最左边的直接短语。

⌲ 规范归约=最左归约：是关于给定句型的一个最右推导的逆过
程。
⌲ 最右推导=规范推导
⌲ 规范句型：从初始符号规范推导出来的文法符号串。

活前缀：规范句型的前缀，它不包括句柄之后的符号。

• 不需要查看输入符号就可确定化LR(0)
• 需要向前查看一个输入符号就可确定化SLR(1)、LR(1)
• 需要向前查看k个输入符号就可确定化LR(k)

文法项目集和术语