LALR(1) パーサーの先読み計算に関して少し混乱しています。
本「Parsing Techniques - A Practical Guide」では、先読み (+ 自発的に生成された先読み) を伝播することは、変数の FOLLOW() を計算することと同等であると述べています。では、単純で簡単に計算できる FIRST() と FOLLOW() を使用できるのに、なぜ LALR(1) パーサー (Dragon book によると) が伝播/自発的手法を使用するのでしょうか?
そうでない場合、2 つの手法の違いは何ですか?