Note that τ , α and α * share the same set of preterminals, but may associate different operators with them.
we say that p is correct in α * , if it is associated with the same set of operators as in α, and the preterminals are identical, both in terms of the set of operators and the ordering between pairs of operators.