| Antes: | A → A α A → β |
A →
A α →
A α α →
A α α α →
A α ... α → β α ... α | ||
| |
||||
| Después: | A → β R R → α R R → ε |
A →
β R → β α R → β α α R → β α ... α R → β α ... α |
n" no terminales en algún orden
A1 ... An
for (i=1; i≤n; ++i) {
for (j=1; j≤i-1; ++j) {
Remplace cada producción de la form Ai → Ajγ
por la producción Ai → δ1γ | δ2γ | ... | δkγ
en donde Aj → δ1 | ... | δk son todas las producciones para Aj
}
Elimine la recursividad izquierda inmediata en las Ai-producciones
}