Jin Jianian

I find this error too. I thought the writer may misunderstand the Grammer Rule 3 because he made almost the same mistake in 4.4.1(4).

what's the reason for 'a' to stay in FOLLOW(S)? If it does, you will get a conflict at M[A, a].

S -> a A A-> S + A | S \* A | ε (I thought it worked.)

Because A -> +S and Grammer Rule No.3, all elements in FOLLOW(A) should in FOLLOW(S), which means they are all {+, *, (, a, ), $}.