In order to simplify the presentation we also assume σ In the second phase we compute the loss of an input configuration using a two-dimensional array T , defined as in §4.3.
because of the way transitions are defined in the LR-spine parser, we now need to distinguish tree fragments not only on the basis of their roots, but also on the basis of their left and right spines.