análisis sintáctico descendente sin retroceso - Blearning

análisis sintáctico descendente sin retroceso - Blearning análisis sintáctico descendente sin retroceso - Blearning

blearning.itmina.edu.mx
from blearning.itmina.edu.mx More from this publisher
09.05.2013 Views

Análisis sintáctico descendente sin retroceso Gramáticas LL(1) Conjunto de símbolos DIRECTORES Los símbolos directores de una producción A → αson los que dirigen al analizador sintáctico para elegir la alternativa adecuada. Se definen como el conjunto de símbolos terminales que determinarán que expansión de un no terminal se ha de elegir en un momento dado, con solo mirar un símbolo hacia delante. SD (A, α ) INICIALES (α) si α es no anulable INICIALES (α) ∪ SEGUIDORES (A) si α es anulable Página 28

Definición Análisis sintáctico descendente sin retroceso Gramáticas LL(1) La condición necesaria y suficiente para que una gramática limpia sea LL(1), es que los símbolos directores correspondientes a las diferentes expansiones de cada símbolo no terminal sean conjuntos disjuntos. La condición es necesaria, puesto que si un símbolo aparece en dos conjuntos de símbolos directores, el analizador sintáctico descendente no puede decidir que expansión aplicar. La condición es suficiente, puesto que el analizador siempre puede escoger una alternativa correcta. Si el símbolo no está contenido en ninguno de los conjuntos, la cadena de entrada no pertenece al lenguaje. Página 29

Definición<br />

Análisis <strong><strong>sin</strong>táctico</strong> <strong>descendente</strong> <strong>sin</strong> <strong>retroceso</strong><br />

Gramáticas LL(1)<br />

La condición necesaria y suficiente para que una gramática limpia sea LL(1),<br />

es que los símbolos directores correspondientes a las diferentes expansiones<br />

de cada símbolo no terminal sean conjuntos disjuntos.<br />

La condición es necesaria, puesto que si un símbolo aparece en dos<br />

conjuntos de símbolos directores, el analizador <strong><strong>sin</strong>táctico</strong> <strong>descendente</strong> no<br />

puede decidir que expansión aplicar.<br />

La condición es suficiente, puesto que el analizador siempre puede escoger<br />

una alternativa correcta. Si el símbolo no está contenido en ninguno de los<br />

conjuntos, la cadena de entrada no pertenece al lenguaje.<br />

Página 29

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!