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 }