 Variable-based grammar

A variable-based grammar has disjoint finite terminal and variable alphabets $\Sigma ,V$, a start variable $S\in V$, and productions $\alpha \to \beta$ in which $\alpha ,\beta \in (\Sigma \cup V{)}^{\ast }$ and $\alpha$ contains at least one variable.