编译原理 - SLR（1）

SLR(1)分析思想

• 1、SLR(1)能解决LR(0)问题前提：

  • a）、若LR(0)状态自动机中所有要规约项的左部Follow(左部)互不相交，则可以解决规约--规约冲突
  • b）、若LR(0)状态自动机中所有要规约项的的左部Follow(左部)与所有要移进项的符号集互不相交，则可以解决规约--移进冲突

• 2、向前查看一个字符

  • a）、若下一个输入的字符属于规约式子的非终结符的Follow集，则规约
  • b）、若下一个输入的字符属于移进式子的下一字符，则移进

SLR(1)解决的问题

• 概念
  • 当活前缀自动机存在规约--移进冲突时，可以用SLR(1)解决部分规约--移进冲突问题

案例

• 文法如下：
  
• 活前缀自动机如下：
  
• 可见，节点1、节点2和节点10存在规约–移进冲突
• 但是，因为节点1存在S→E.属于接受状态，故而不存在规约–移进冲突
• 所以，只有节点2、节点10存在规约–移进冲突
• 存在规约--移进冲突的节点如下：
• 
• 解决（SLR(1)分析）：
• 1、易于求得Follow（E），如下：
• 
• 2、根据表达式的下一个字符决定是移进还是规约
  • a）若下一个字符为Follow(E)集合的字符，则执行规约
  • b）若下一字符为*，则执行移进操作
• 3、根据自动机得到的SLR(1)的分析表为：
•