SLR（1）文法
它通过两种方法做到这一点。首先，它在一个移进之前先考虑输入记号以确保存在着一个恰当的 DFA 。其次，使用构造的非终结符的 Follow 集合来决定是否应执行一个归约。令人吃惊的是，先行的这个简单应用的能力强大得足以分析几乎所有的一般的语言构造。定义：SLR(1) 分析算法(SLR(1) parsing algorithm)。令s 为当前状态(位于分析栈的顶部)。则动作可定义如下：
（1）若状态s 包含了格式A →a.Xb 的任意项目，其中X 是一个终结符，且X 是输入串中的下一个记号，则动作将当前的输入记号移进到栈中，且被压入到栈中的新状态是包含了项目A →aX.b 的状态。
（2）若状态s 包含了完整项目A →g.，则输入串中的下一个记号是在 Follow (A) 中，所以动作是用规则A →g 归约。用规则S¢ →S 归约与接受等价，其中S 是开始状态；只有当下一个输入记号是$时，这才会发生。在所有的其他情况中，新状态都是如下计算的：删除串a 和所有它的来自分析栈中的对应状态。相对应地，DFA 回到a 开始构造的状态。通过构造，这个状态必须包括格式B →g. Ab 的一个项目。将A 压入到栈中，并将包含了项目B →aA.b 的状态压入。
（3）若下一个输入记号都不是上面两种情况所提到的，则声明一个错误。若上述的 SLR(1) 分析规则并不导致二义性，则文法为 SLR(1) 文法(SLR(1) grammar)。