它们会在每个项目后面显式地加上向前搜索符，精确地指明在当前状态下，只有遇到某个具体的符号时才进行归约，从而避免这种歧义。既可以跟在 A 后面，也可以跟在 B 后面，到底用哪个产生式归约？要解决这种归约-归约冲突，需要使用更强大的文法，例如。无法克服的移进-归约冲突：它使用。来决定是否进行归约，如果移进符号。假设在某个状态中，既可以归约成。集中，这个冲突就被解决了。无法解决的归约-归约冲突，