parsing - 为 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 -> .aA

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

S -> .AS

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

Answer 1

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