Without loss of generality, we will assume that for every rule A → α ∈ P , one of two cases holds: either RHS(A → α) ∈ T or RHS(A → α) ∈ V * .
the right-hand side sequences consist of either (1) exactly one terminal item, or (2) zero or more non-terminals.