The crucial observation now is that the concept of push computations and the approach to their tabulation that we have taken for the arc-standard system can easily be generalized to other transition systems whose transitions are of the type shift or reduce.
the proof of the correctness of our deduction system that we gave in Section 3 still goes through if instead of sh we write "shift" and instead of la and ra we write "reduce".