О преобразовании грамматик к бесконфликтному виду

Доказывается, что для любой грамматики с множеством правил вида $\varphi ::=\psi$, где $\varphi$ и $\psi$ — непустые строки символов, можно построить эквивалентную бесконфликтную грамматику (при четырех отношениях предшествования $\dot{=}$, $\langle\,\cdot\,,\,\cdot\,\rangle$, $\,\cdot\, \times \,\cdot\,$) и предлагается эффективная процедура построения такой грамматики.