假设文法 G 的 SLR 解析器有 n1 个状态，G 的 LALR 解析器有 n2 个状态。 n1 和 n2 之间的关系是：
(A) n1 必然小于 n2
(B) n1 必然等于 n2
(C) n1 必然大于 n2
(D)这些都不是答案：(乙)
说明：见以下链接
http://parasol.tamu.edu/people/rwerger/Courses/434/lec10.pdf
http://dragonbook.stanford.edu/lecture-notes/Stanford-CS143/11-LALR-Parsing.pdf
这个问题的测验