We define an equivalence class (i, q) containing all configurations c such that the first index i of β equals i and the size of stack |σ | equals q.
we rewrite cumulative transition scores as: (3) We also consider a score function based on the nestedness property of shift/reduce derivations.