• 【编译原理】大白话讲解 First 集和 Follow 集的构造算法


    First集构造流程


      对于 X -> ... 这条产生式而言,

        【1】若右边第一个符号是终结符或 ε  ,则直接将其加入 First(X)

        【2】若右边第一个符号是非终结符,则将其 First 集的的非 ε  元素加入 First(X)

        【3】若右边第一个符号是非终结符而且紧随其后的是很多个非终结符,这个时候就要注意是否有 ε 

          【3.1】若第 i 个非终结符的 First 集有 ε  ,则可将第 i+1 个非终结符去除 ε  的 First 集加入 First(X)。

          【3.2】若所有的非终结符都能够推导出 ε ,则将  ε  也加入到 First(X)

        E.G. G[S]:

          S -> ABCD

          A -> a |  ε  

          B -> b |  ε  

          C -> c

          D -> d

          解:

            First(S) = {a, b, c},其中 c 是由上面所说的第二、三条规则所推得出来的,因为此时 A 和 B 都可以等于空串( ε  ),所以非终结符 C 的 first 集合就被加入 G[S] 了。

            如果这里 C,D 也能够产生 ε  的话,根据第三条规则中的第二小点,此时 First(S) = {a, b, c, d,  ε}

    Follow集构造流程


      【1】将所有产生式的候选式(即产生式右部)的非终结符都找到,定位到你想要求解 Follow 集的非终结符的位置,从当前位置往后挨个检查。设 A -> aBC 是一个产生式,在这个产生式中, B 和 C 是非终结符,a 是终结符

      【2】先检验这个非终结符的右边还有没有别的符号(终结符或非终结符都可以),在例子中 B 是需要检查的第一个非终结符,它的右边是有非终结符 C 的。

        【2.1】若右边有符号 -> 将 First(右侧第一个符号)的非 ε 集合加入到 Follow(当前符号)中,如果 First(右侧第一个符号)含有 ε  ,即有 ... -> ε ,则将 Follow(产生式左部符号)加入 Follow(当前符号)中。

         E.G.  用 A -> aBC 来说就是,当前扫描到 B 了,而 B 的右侧有非终结符 C,则将去掉 ε  的 First(C)加入 Follow(B)中。若存在 C -> ε  ,则将 Follow(A)也加入 Follow(B)中。

        【2.2】若右边没有符号了,例如这里的 C,那么可以将 Follow(A)中的元素全部加入到 Follow(C)中。

      【3】判断当前符号是不是文法的开始符号,比如 G[A] 中的非终结符 A 就是 G[A] 文法的开始符号,如果是的话就将“#”也加入到 Follow(当前符号)中去。

    预测表的构造


      首先构造出预测分析表的第一行与第一列,第一行为文法出现的所有终结符以及‘#’(注意:没有 ε ,因为 Follow 集不含 ε),第一列为文法出现的所有终结符。

      然后对文法 G 的每个产生式 A -> ab 都执行如下操作:

        【1】对于每个属于 First(ab) 的终结符 m ,都把 A -> ab 添加到预测表中的 [A, m] 中去

        【2】如果 ε 也属于 First(ab),那么对于任何属于 Follow(A) 的字符 x,都把 A ->  ε  加入到 [A, x] 中去

  • 相关阅读:
    Django 的中文教程
    VisualStudio code插件集锦(持续更新)
    Django3最新版本安装配置
    python 中的 *args 和 **kwargs
    拉格朗日乘子法
    softmax中的margin控制
    softmax中的smooth程度控制
    从boosting角度理解softmax
    从 smooth&最优化 角度理解softmax
    寻找 函数max(x, y) 的平滑解
  • 原文地址:https://www.cnblogs.com/Bw98blogs/p/10028271.html
Copyright © 2020-2023  润新知