09.05.2013 Views

análisis sintáctico descendente sin retroceso - Blearning

análisis sintáctico descendente sin retroceso - Blearning

análisis sintáctico descendente sin retroceso - Blearning

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Teorema<br />

S-gramáticas<br />

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

Gramáticas LL(k)<br />

Una gramática LL(k) es no ambigua<br />

Una gramática LL(k) no es recursiva a izquierdas<br />

Son un subconjunto muy restringido de las gramáticas LL(1)<br />

Debe cumplir las siguientes dos condiciones:<br />

1. Todas las partes derechas de cada producción comienzan con un símbolo<br />

terminal.<br />

2. Si dos producciones tienen la misma parte izquierda, entonces su parte<br />

derecha comienza con diferentes símbolos terminales.<br />

A: A → a 1 α 1 | a 2 α 2 | ...| a m α m<br />

se debe cumplir que:<br />

a i ≠ a j ∀ i ≠ j a i ∈VT α i ∈V * 1 ≤ i ≤ m<br />

Página 15

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

Saved successfully!

Ooh no, something went wrong!