It is important to keep in mind that this distinction between types of prediction (and as a consequence, prediction error) is not equivalent to the one drawn in the traditional cognitive science modularity debate, which has focused on the source of these predictions.
the right-hand side sequences consist of either (1) exactly one terminal item, or (2) zero or more non-terminals.