is the set of states that can be reduced with p so that p.s 0 will be the right child of the top tree of the result state.
more formally we define the space of all states S as: Since only the top d+1 trees on the stack are used in atomic features, we only need to remember the necessary information and write the state as: We denote a derivation x's state as [x] ∼ .