formula_20は、(i+1)番目の状態遷移の直前のスタックの内容であり、formula_21はスタックのトップから除去される記号である。