Anlisis Sintctico

Determinar si una cadena puede ser

generada
Leonel Morales Daz
leonel@ingenieriasimple.com
Copyright 2008 by Leonel Morales Daz Ingeniera Simple.
Derechos reservados
Disponible en: http://www.ingenieriasimple.com/compiladores
Analizador sintctico
Es posible construr el rbol?
Mtodos:
Descendente
De la raz a las hojas
Popular y eficiente
Ascendente
De las hojas a la raz
Ms gramticas
Analizador descendente
Algoritmo
1. Seleccione una produccin y construya
los hijos
2. Encuentre el siguiente nodo (no terminal)
3. Si hay otro nodo aplicar recursivamente
4. Si no hay ms nodos
1. Si la cadena coincide entonces ACEPTAR
2. Si no coincide, probar recursivamente
Ejemplo
Gramtica de tipos en Pascal

Tipo -> Simple | ^id |
array [ Simple ] of Tipo
Simple -> integer | char |
nm puntopunto nm
array [ nm puntopunto nm] of integer
Analizar sintcticamente
Descendente (smbolo inicial)
Function Tipo()
Resu = Simple()
If Not Resu Then
Resu = Match(^) And Match(id)
If Not Resu Then
Resu = Match(Array) And Match([)
And Simple() And Match(])
And Match(of) And Tipo()
End
End
Tipo = Resu
End Function
Descendente (nodo)
Function Simple()
Resu = Match(integer)
If Not Resu Then
Resu = Match(char)
If Not Resu Then
Resu = Match(nm)
And Match(puntopunto)
And Match(nm)
End
End
Simple = Resu
End Function
Match() - parea()
Function Match(Valor)
Tmp = GetNextToken()
If Tmp = Valor Then
Match = True
/* Avanzar posicin en entrada */
Else
Match = False
End If
End Function
Match() simplificado
Function Match(Valor)
Match = GetNextToken() = Valor
End Function

Ojo: queda pendiente avanzar la entrada
GetNextToken()
Inteligente
Reconoce separadores:
Espacio, fin de lnea, tabuladores, etc.
Token especiales: >,>=,<,<=
Palabras clave: While de WhileFlag
Recursin Izquierda
Problema para anlisis sintctico
Gramtica infijo
Expr -> Expr + Trmino
Expr -> Expr - Trmino
Expr -> Trmino
Trmino -> 0
Trmino -> 1
Trmino -> 2
....
Trmino -> 9
Recursin izquierda
Anlisis descendente
Function Expr()
Resu = Expr() And Match(+) And Trmino()
If Not Resu Then
Resu = Expr() And Match(-) And Trmino()
If Not Resu Then
Resu = Trmino()
End
End
Expr = Resu
End Function
Recursin izquierda
Ojo: no se puede cambiar la gramtica
Gramtica iguales si rboles iguales
NT -> NT t1 | t2
NT: No Terminal
t1, t2: terminales
Expr -> Expr + Trmino
Correccin de recursin izquierda
NT -> NT t1 | t2
t2 t1 t1 t1 ... t1
t2 t1*
NT -> t2 R
R -> t1 R | nil
t2 t1 t1 t1 ... t1
t2 t1*
Gramtica infijo corregida
Expr -> Trmino Resto
Resto -> + Expr | - Expr | nil
Trmino -> 0
Trmino -> 1
Trmino -> 2
....
Trmino -> 9

Proyecto 1
Gramtica de nombres y direcciones de
email
Reglas semnticas
Reconocedor-extractor de emails
mejorado
GetNextToken()
Match()
Anlizador descendente