编译原理5.3.4-规范LR分析表构造-附件.pptVIP

5.3.4 规范LR分析表的构造 通过例子引入LR(k)项目 1.LR(k)项目定义 2.有效LR(1)项目 3.构造LR(1)项目集规范族 4.构造LR(1)分析表 5.LR(1)文法 小结: SLR(1)分析法中的无效归约 1.LR(K)项目定义 重新定义项目: [A→α·β，a1a2…ak] A→α·β是一个LR(0)项目, 称为心, a1a2…ak 称为它的向前搜索符串(展望串), ai是终结符, 这样的一个项目称为一个LR(k)项目。 2.有效LR(1)项目 例5.12 : S ? BB B ? aB | b 3.构造LR(1)项目集规范族 一、项目集I的闭包CLOSURE(I) (1)I的任何项目都属于CLOSURE(I) (2)若项目[A→α·Bβ，a]属于CLOSURE(I) 如果[B→·γ,b]原来不在CLOSURE(I)中， 则把它加进去。 B→γ是一个产生式, b∈FIRST(βa) (3)重复执行步骤(2),直到CLOSURE(I)不再增大为止 二、GO函数 令I是一个项目集，X是一个文法符号， GO(I,X) = CLOSURE(J)，其中 J={ 任何形如[A??X??,a]的项目