What are closure and goto operations in LR parsing? Compute the closure of the following LR(0) item set:

I₀ = {[S’ → •S, $]}

Grammar:

S → AB

A → aA | b

B → c

Then compute GOTO(I₀, a) showing all steps.