构造出LR(1)项的规范族,先从起始状态设为CC0,然后对于每一个语法符号构造出下一个CCX,意味着吸收了这个语法符号后可能到达的状态,运用不动点算法不断迭代,构造出CCI。意思是如果输入某个符号,可能到达的状态。
吸收算法更精妙,即将状态与语法符号一同压入栈中,如果有归约即归约,意味着输入了归约的这个符号。