在构造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

的构造

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

和I1。

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

等等。但是当我开始构建I4 ......

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

问题是    A - ＆gt; .aA

当我尝试从a构建下一个状态时，我将再次获得与I4完全相同的内容，并且这将持续无限。

会出现类似的循环

S -> .AS

那么，我做错了什么？必须有一些我遗漏的细节，但我浏览了我的笔记和我的书，要么找不到，要么就是不明白这里有什么问题。有什么帮助吗？

Answer 1

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