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) 1:

P157:LR (0) motivazione sta facendo mosse nello statuto determinato? Eseguito automaticamente da una posizione iniziale di 0 a un stato j, presupposto grammatica simbolo γ LR (0) quindi se il prossimo simbolo di input è una, e j su uno in una conversione, si muoverà in una, o lo statuto.Questo approccio conduce allo statuto sbagliato, partendo dal presupposto che statuto dopo il simbolo x, ma non non seguire un (x), questo caso avrà un problema. SLR è stato migliorato in questo senso.P161: costruisce un SLR quando si analizzano le tabelle, se [un -> α.] spese, poi seguire (a) per tutti un, azione [i, un] è impostato su "statuto di un -> α"SLR risolvere parzialmente il problema dello statuto sbagliato, ma non completamente. Perché, anche se scelta un FOLLOW (a) nello statuto, ma in termini di spese di stato attuale, non ogni Segui terminator (a) spese può verificarsi nella parte posteriore.P166: usare il linguaggio più formale, per spese precisamente devi indicare quali simboli di input possono essere più dietro la maniglia α, modo che α può essere lo statuto come un.LR aggiungendo un secondo componente, vale a dire trasmettere simboli per risolvere questo problema. Ma il nuovo problema è che LR renderà la tabella di stato e relativo grande, LALR è un approccio più economico, ha tanto stato e SLR.P170: spesso detto, avendo lo stesso insieme di nucleo della collezione di LR, LALR può essere impostato. Anche se statuto LALR potrebbe avere alcuni errori, ma alla fine trovato l'errore prima di entrare in qualsiasi nuovi simboli.

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.