LR0 아이템의 집합 I에 대하여 CLOSURE(I)의 정의가 다름:

오세만 교수님의 "컴파일러 입문"에는 CLOSURE(I) =s I ∪ { [B→.γ] | [A→α.Bβ] ∈ CLOSURE(I), B→γ ∈ P }로 되어있고,

Efficient Computation of LALR(1) Look-Ahead Sets에는 Closure(I) := I ∪ { [B→.γ] | [A→α.Bβ] ∈ I, B→γ ∈ P }로 되어있음.

여기서 =s는 재귀적인 방정식을 만족하는 가장 작은 해를 나타냄.

뭐가 맞는 걸까? 난 오세만 교수님 방식대로 구현하긴 했는데 ...