p157: LR(0) 自动机是如何做出移入-规约决定的？假设文法符号

p157: LR(0) 自动机是如何做出移入-规约决定的？假设文法符号串 γ 使得 LR(0) 自动机从开始状态 0 运行到某个状态 j，那么如果下一个输入符号为 a 且状态 j 有一个在 a 上的转换，就移入 a，否则就进行规约。

这种方法会导致一些错误的规约，假定规约后的符号为 X，但 a 并不在 FOLLOW(X) 中，这种情况下就会有问题。所以 SLR 在这方面进行了改进。

p161：构造一个 SLR 分析表时，如果 [A -> α.] 在 I_i 中，那么对于 FOLLOW(A) 中的所有 a，将 ACTION[i, a] 设置为 “规约 A -> α”

SLR 一定程度上解决了错误规约的问题，但没有完全解决。因为虽然 a 在 FOLLOW(A) 中才会选择规约，但是就当前所处的状态 I_i 而言，并不是每个 FOLLOW(A) 中的终结符都可以出现在状态 I_i 中的 A 后面。

p166: 用更正式一点的语言来讲，必须要为 I_i 精确得指明哪些输入符号可以更在句柄 α 后面，从而使 α 可以被规约为 A。

LR 通过在项中加入第二个分量，即向前看符号来解决这个问题。但新的问题是 LR 会使得状态表及其庞大，而 LALR 就是一种比较经济的做法，它具有和 SLR 一样多的状态。

p170：一般地说，通过将具有相同核心项集的 LR 项集合并，可以得到 LALR 项集。虽然 LALR 可能会进行一些错误的规约，但最终会在输入任何新的符号之前发现这个错误。

Risultati (Italiano) 2:

P157: LR (0) automa è come fare il spostata - Statuto della decisione? Supponiamo simbolo grammatica stringa γ tale che LR (0) automa dallo stato dall'inizio 0 corsa ad un j stato, quindi se il prossimo simbolo di ingresso di uno stato e di una conversione in un j su, si è trasferita in una, altrimenti condurre statuto . Tale approccio porterà a qualche legge sbagliata dopo simbolo statuto ipotesi per X, ma non in FOLLOW (X), avrà un problema in questo caso. Così miglioramenti reflex al riguardo. P161: Quando si costruisce una reflex della tabella, se [. A -> α] in I_i, poi il FOLLOW (A) Tutto un, l'azione [i, a] è impostato su "statuto A -> alfa" SLR certo misura risolto il problema dello statuto sbagliato, ma non completamente risolto. Perché anche se a in FOLLOW (A), dello statuto sceglierà, ma su cui allo stato attuale I_i interessato, non tutti FOLLOW (A) del simbolo terminale può apparire nello stato I_i dietro la A. P166: con un po 'di lingua più formale è interessato, deve essere il più preciso è stato I_i indicare quale ingresso simbolo possono essere più dietro le α maniglia, in modo che α potrebbe essere lo statuto di A. LR aggiungendo un secondo componente nel campo, cioè lookaheads per risolvere questo problema. Ma la nuova domanda è LR renderebbe la tabella di stato ed enorme, e LALR è un approccio più economico, che ha il maggior numero di stato e reflex. P170: In generale, avendo la stessa serie di elementi di base e gli elementi di raccolta LR, può essere impostato articoli LALR. Mentre LALR potrebbe essere qualcosa statuto sbagliato, ma finirà per trovare questo errore prima di entrare in qualsiasi nuovo simbolo.