为 LR(1) 解析构造状态时处理无限循环

Question

我目前正在根据以下语法构造 LR(1) 状态。

S->AS
S->c
A->aA
A->b

where A,S are nonterminals and a,b,c are terminals.

这就是I0和I1的构造

I0: S' -> .S, epsilon
    ---------------
    S -> .AS, epsilon
    S -> .c, epsilon
    ---------------
    S -> .AS, a
    S -> .c, c
    A -> .aA, a
    A -> .b, b

。

From S, I1: S' -> S., epsilon  //DONE

等等。但当我开始建造 I4 时......

From a, I4: A -> a.A, a
        -----------
        A -> .aA, a
        A -> .b, b

问题是 A-> .aA

当我尝试从 a 构造下一个状态时，我将再次获得 I4 的完全相同的内容，并且这种情况会无限地继续。类似的循环发生在

S -> .AS

So, What am I do bad?我一定遗漏了一些细节，但我浏览了我的笔记和书，要么找不到，要么只是不明白这里出了什么问题。有什么帮助吗？

Answer 1

我很确定我找到了答案。显然，状态可以相互指向，因此如果内容已经存在，则无需创建新的状态。不过，如果有人能证实这一点，我仍然希望它。