OneirdyniaYi

The augmented grammar is 1)S'->S 2)S->SS+ 3)S->SS* 4)S->a and the closure collection is i0: S'->.S S->.SS+ S->.SS* S->.a i1: S'->S. S->S.S+ S->S.S* S->.a S->.SS+ THIS 'S' IS THE SECOND 'S'...

THE PROBLEM 4.4.1-6 is WRONG

1

From the definition of the follow set, we know,1.follow(bterm) = first(bexpr') except ∈ and 2.bexpr' => ∈ follow(bterm) = follow(bexpr) In a word, follow(bterm) = {$,),or}