from LR法

文法規則 X -> A を選んで、スタックから入力記号 A と状態をpopし、 X と新しい状態をスタックにpushする

A は1個以上(?)の記号列

つまり X -> B + C みたいなこともある

このときは、 B,+,C の3つの記号をpopし、 X に入れ替える

0個のことってあるっけ #??