4.1.3 从Unger方法中获得解析林语法

在进行Unger解析时构建一个解析林语法是非常容易的:所需要的只是在每一个尝试分区中向解析林添加一个规则。例如,4.1.1节中的第一个分区(图Fig4.2第6行)向语法解析林添加了规则:

图1

分区的每一个段(segment)和分区本身都已经被一个特定的非终结符设定好了,其名称由其原始名称和段的起点加长度组成。这甚至适用于原始终结符,因为上面的分区声明了+是位置3的+(从1开始计算输入标记)。

图Fig4.2的第一部分添加了规则:

图2

但犹豫输入并没有包含+ 2 1,以及在位置2不包含+,所以这个规则可以被马上排除。或者可以说,它包含一个未定义的终结符,然后2.9.5节的语法清理算法将为我们删除它。同样,4.1.1节中中所述的尝试添加了规则:

图3

这再次包含了一个未定义的终结符,i_1_2。(第一个可选因子因子--->(Expr),是不适用的,因为它需要将Factor_1_2分成3分,而目前在4.1.1节我们还不允许使用ε规则。)

我们看到,Unger解析作为一个自顶向下解析方法,带来了大量的未定义非终结符(和ditto终结符);这代表了自顶向下过程中没有实现的假设。

图4

解析过程产生了一个又294条规则的解析林语法,我们在这里就不展示了。整理之后就是图Fig4.5了,有11条规则。就可以很清晰的看到,它与4.1.1节最后的字符串(i+i)×i得出的解析相当。

results matching ""

    No results matching ""