Об эквивалентном преобразовании порождающих грамматик в грамматики предшествования

Показывается, что любая порождающая грамматика может быть преобразована в эквивалентную грамматику предшествования. Предлагается практический алгоритм такого преобразования и доказывается его сходимость.