lr1的难度比ll1稍微难一点,但是也不是很难理解,主要是很多教程讲的比较垃圾,听得很懵。所谓的lr1就是一个dfa,把所有可能展示给你看。
打个比方
S=>A
A=>a
这是一个规则,什么是规则?我们有一个开始符号S,记住,开始符号是认为定义的,我们也可以定义为A,取决于你想要什么样的语法。
规则左边的是一个非终结符,所谓非终结符的意思便是可以从这个符号推出其他的符号,而终结符意思便是这个符号无法推出其他的符号,比如说a。
规则的左边只允许存在非终结符,因为右边是他能推导出来的结果,而终结符都在规则的右边,因为如果到了左边意味着他能进行推导,而意味着他不是终结符。
那么下面看什么是推导。所谓推导便是替换。我们可以将S=>A理解成,如果推导过程中出现了一个S,如果你想,你可以把S替换成A.
那么很好。我们写一个例子。
S=>A=>a. 在这个例子中,我们首先从开始符号S开始,然后根据规则S=>A将其替换成A,最后根据A=>替换成a。
上面的过程是自顶向下的过程。这也意味着如果我输入了一个a,而我们可以根据规则从开始符号推出a来,那么这个a就是合法的。但是如果我们输入一个b,S=>A 之后达不到b,说明不合法。
现在我们用lr的方法重新讲一遍。
a=>A=>S.
没错,正好相反,我们首先将输入的a换成A,然后将A换成S。这便是自底向上。但是问题来了,为什么a要换成A?你会说只有这一种可能,那么下面呢?