Gramatika je \pojem{separovaná}, pokud obsahuje pouze pravidla tvaru $\alpha\rightarrow \beta$, kde: \begin{itemize} \item buď $\alpha, \beta\in V^+$ (neprázdné posloupnosti neterminálů) \item nebo $\alpha \in V$ a $\beta \in T\cup \{\lambda\}$. \end{itemize}