organización de lenguajes y compiladores 1 método de análisis sintáctico ll1

Organización de Lenguajes y Compiladores 1 Método de análisis sintáctico LL1

Método Descendente LL(1)

La primera L representa el tipo de lectura de la cadena de entrada Left (de izquierda a derecha)

La segunda L representa la que la derivación Left, por la izquierda.

Y el 1, es el número de símbolos de entrada para analizar por anticipado.


Ninguna gramática ambigua o recursiva por la izquierda puede ser LL(1).


Buffer de EntradaCadena de entrada a analizar, finaliza con el carácter $

PilaSímbolos gramaticales que se van utilizando

Tabla de Análisis SintácticoMatriz bidimensional que sirve para el análisis

Cadena de SalidaCadena de Salida posterior al análisis

Pasos para el Método LL(1)

1. Escribir adecuadamente la gramática

2. Calcular el First y el Follow

3. Construir la tabla de Análisis Sintáctico

4. Hacer el análisis de sintáctico por medio de la pila y la tabla de análisis



Para poder utilizar un analizador descendente no recursivo la gramática debe cumplir con:

No debe tener ambigüedad No debe ser recursiva por la izquierda Debe estar factorizada


Símbolo First/PrimeroSi x

es terminal First(X) = {x}

Si X → εproducción Añadir ε al First(X)

X →YZW Añadir First (Y) a First (X)

2. Calcular el First / Primero

Símbolo Follow/SiguienteSi X

es símbolo inicial Follow ( X ) = { $ }

Si X → α Y MProducción

1. Follow (Y) = First (M) excepto ε.

2. Si el First(M) contiene ε entonces añadir el Follow(X) a Follow (Y)

Si X → α YProducción Añadir el Follow(X) a Follow(Y)

2. Calcular el Follow / Siguiente




Símbolos No Terminales

Símbolo Terminal


3. Construir la tabla de Análisis Sintáctico1. Para cada A → α, ejecute 2 y 3.2. Para cada terminal a del First (α), añádase

A → α en la posición M[A , a].3. Si ε esta en el First (α), añádase A → ε a

M[A , b ] para cada terminal b de Follow(A).

4. Cada entrada vacía hágase ERROR.



Se colocan las produccionesque corresponden a los datosobtenidos del cálculo del first.



13

Pila Entrada

. .

.

Ejemplo LL(1)

Partiendo de la Gramática:

S → ‘(‘ A ‘)’

A → C B

B → ‘;’ A | ε

C → ‘x’ | S

1. Es una gramática adecuada para el análisis LL(1)

Ejemplo LL(1)

2. Cálculo del First / PrimeroS → ‘(‘ A ‘)’

A → C B

B → ‘;’ A | ε

C → ‘x’ | S

SímboloNo Terminal First

S ( AB ;C x

Para calcular el first Se usan Los no terminales del lado izquierdo de la producción

Si X es terminal First(X) = {x}

Ejemplo LL(1)


A → C B

B → ‘;’ A | ε

C → ‘x’ | S


S ( AB ; , εC x

Si X → εproducción Añadir ε al First(x)


Ejemplo LL(1)


A → C B

B → ‘;’ A | ε

C → ‘x’ | S


S ( A x , (B ; , εC x , (

X →YZW Añadir First (Y) a First (X)


Ejemplo LL(1)


A → C B

B → ‘;’ A | ε

C → ‘x’ | S


S ( A x , (B ; , εC x , (

Ejemplo LL(1)

2. Cálculo del Follow / SiguienteS → ‘(‘ A ‘)’

A → C B

B → ‘;’ A | ε

C → ‘x’ | S

SímboloNo Terminal Follow

S $ABC

Si Xes símbolo

inicialFollow (X) = { $ }

Para cacular el follow Se usan Los no terminales del lado izquierdo de la producción

Ejemplo LL(1)


A → C B

B → ‘;’ A | ε

C → ‘x’ | S


S $A )BC


Ejemplo LL(1)


A → C B

B → ‘;’ A | ε

C → ‘x’ | S


S $A )B )C

Si X → α YProducción

Añadir el Follow(X) a Follow(Y)


Ejemplo LL(1)

2. Cálculo del Follow / Siguiente

S → ‘(‘ A ‘)’

A → C B

B → ‘;’ A | ε

C → ‘x’ | S


S $A )B )C ; , )

Se usan Los no terminales del lado derecho de la producción

Si X → α Y MProducción

1.Follow (Y) = First (M) excepto ε.

2. Si el First(M) contiene εentonces añadir elFollow(X) a Follow (Y)

First(B) ; , ε

2. Para cada terminal a del First (α), añádase A → α en la posición M[A , a].

Ejemplo LL(1) Construir la tabla de Análisis Sintáctico


S ( A x , (B ; , εC x , (

; x ( ) $S S ( A )

A A CB A CB

B B ; A

C C x C S

S → ‘(‘ A ‘)’

A → C B

B → ‘;’ A | ε

C → ‘x’ | S

3. Si ε esta en el First (α), añádase A → ε a M[A , b ] para cada terminal b de Follow(A).



B ; , ε

; x ( ) $S S ( A )

A A CB A CB

B B ; A B ε

C C x C S

S → ‘(‘ A ‘)’

A → C B

B → ‘;’ A | ε

C → ‘x’ | S


B )

4. Cada entrada vacía hágase ERROR


; x ( ) $S ERROR ERROR S ( A ) ERROR ERROR

A ERROR A CB A CB ERROR ERROR

B B ; A ERROR ERROR B ε ERROR

C ERROR C x C S ERROR ERROR


Ejemplo LL(1)

; x ( ) $S ERROR ERROR S ( A ) ERROR ERROR

A ERROR A CB A CB ERROR ERROR

B B ; A ERROR ERROR B ε ERROR

C ERROR C x C S ERROR ERROR



Pila Entrada$ S ( x ; ( x ) ) $

( x ; ( x ) )

Colocar $ y el símbolo inicial

Colocar la cadena de entrada y $



Pila Entrada Acción$ S ( x ; ( x ) ) $ S ( A )

Se busca el símbolo terminal y el no terminal, remplazándolo por la producción que le corresponda en la tabla.Colocándola de izquierda a derecha

(S S → ( A )



Pila Entrada Acción$ S$ ) A (

( x ; ( x ) ) $( x ; ( x ) ) $

S ( A )

Cuando se llega a una coincidencia, se eliminan ambos, y se continua con el análisis

Pila Entrada Acción

$ S$ ) A $ ) B C$ ) B x$ ) B$ ) A ;$ ) A$ ) B C $ ) B S$ ) B ) A ($ ) B ) A$ ) B ) B C $ ) B ) B x$ ) B ) B$ ) B )$ ) B $ )$

( x ; ( x ) ) $ x ; ( x ) ) $x ; ( x ) ) $x ; ( x ) ) $

; ( x ) ) $; ( x ) ) $

( x ) ) $( x ) ) $( x ) ) $( x ) ) $

x ) ) $x ) ) $x ) ) $

) ) $) ) $

) $) $

$

S ( A )A C B

C x

B ; A

A C BC S

S ( A )

A C BC x

B ε

B ε

Pila Entrada Acción$ S$ ) A $ ) B C$ ) B x$ ) B$ ) A ;$ ) A$ ) B C $ ) B S$ ) B ) A ($ ) B ) A$ ) B ) B C $ ) B ) B x$ ) B ) B$ ) B )$ ) B $ )

$

( x ; ( x ) ) $ x ; ( x ) ) $x ; ( x ) ) $x ; ( x ) ) $

; ( x ) ) $; ( x ) ) $

( x ) ) $( x ) ) $( x ) ) $( x ) ) $

x ) ) $x ) ) $x ) ) $

) ) $) ) $

) $) $

$

S ( A )A C B

C x

B ; A

A C BC S

S ( A )

A C BC x

B ε

B ε

ACEPTADA

Se acepta la cadena si se logra eliminar de la pila y la entrada, todos los símbolos.De lo contrariono se acepta la cadena.

Se acepta la cadena si se logra eliminar de la pila y la entrada, todos los símbolos.De lo contrariono se acepta la cadena.

RESUMEN

Pasos para el método LL1


2. Calcular el First y el Follow



organización de lenguajes y compiladores 1 método de análisis sintáctico ll1

Documents