Professional Documents
Culture Documents
http://127.0.0.1:3999/s04.topdown.slide#1 Page 1 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Analizador sintáctico
En adelante lo llamaremos parser
http://127.0.0.1:3999/s04.topdown.slide#1 Page 2 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Siguiendo la gramática
http://127.0.0.1:3999/s04.topdown.slide#1 Page 3 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
ELEM ::= pi | num | abs '(' EXPR ')' | '(' EXPR ')'
http://127.0.0.1:3999/s04.topdown.slide#1 Page 4 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 5 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 6 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
->EXPR
->FACT + EXPR
->ELEM '*' FACT
->pi '*' FACT
->EXPR
->FACT + EXPR
->ELEM '*' FACT
->num '*' FACT
Ahora si
http://127.0.0.1:3999/s04.topdown.slide#1 Page 7 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
3 . + 5 * ( pi + 1 )
->EXPR
->FACT + EXPR
->ELEM '*' FACT
-> 3 . '*' FACT
Encontramos un + y no *: backtrack
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 . + EXPR
Ahora si
http://127.0.0.1:3999/s04.topdown.slide#1 Page 8 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 . + EXPR
Otro paso
3 + . 5 * ( pi + 1 )
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 + . EXPR
http://127.0.0.1:3999/s04.topdown.slide#1 Page 9 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 + . EXPR
otro
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 + . FACT + EXPR
http://127.0.0.1:3999/s04.topdown.slide#1 Page 10 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
y llegamos a
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 + . FACT
http://127.0.0.1:3999/s04.topdown.slide#1 Page 11 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
->EXPR
->FACT + EXPR
->ELEM + EXPR
->3 + . ELEM * FACT
->3 + 5 * FACT
->3 + 5 * ELEM
->3 + 5 * ( EXPR )
->3 + 5 * ( FACT + EXPR )
->3 + 5 * ( ELEM + EXPR )
->3 + 5 * ( pi + EXPR )
->3 + 5 * ( pi + FACT )
->3 + 5 * ( pi + ELEM )
->3 + 5 * ( pi + 1 )
http://127.0.0.1:3999/s04.topdown.slide#1 Page 12 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 13 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
desdendente recursivo
que no necesite backtracking
derivación left-most
entrada left-to-right
con 1 token de look-ahead
http://127.0.0.1:3999/s04.topdown.slide#1 Page 14 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 15 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
ELEM ::= pi | num | abs '(' EXPR ')' | '(' EXPR ')'
Es si vemos 3 en
3 + 5 * ( pi + 1 ) .
http://127.0.0.1:3999/s04.topdown.slide#1 Page 16 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Factorización
Podemos factorizar:
http://127.0.0.1:3999/s04.topdown.slide#1 Page 17 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Factorización
Podemos factorizar:
en
http://127.0.0.1:3999/s04.topdown.slide#1 Page 18 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 19 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Factorizada
http://127.0.0.1:3999/s04.topdown.slide#1 Page 20 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Cuando veamos 3 en
3 + 5 * ( pi + 1 )
http://127.0.0.1:3999/s04.topdown.slide#1 Page 21 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
nos da
backtrack
http://127.0.0.1:3999/s04.topdown.slide#1 Page 22 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
nos da
backtrack
http://127.0.0.1:3999/s04.topdown.slide#1 Page 23 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 24 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
...
-> 3 + 5 * ( pi . ADD ) MUL ADD
-> 3 + 5 * ( pi + . TERM ADD ) MUL ADD
-> 3 + 5 * ( pi + . FACT MUL ADD ) MUL ADD
-> 3 + 5 * ( pi + . 1 MUL ADD ) MUL ADD
-> 3 + 5 * ( pi + 1 . <empty> ADD ) MUL ADD
-> 3 + 5 * ( pi + 1 . ADD ) MUL ADD
-> 3 + 5 * ( pi + 1 . <empty> ) MUL ADD
-> 3 + 5 * ( pi + 1 ) . MUL ADD
-> 3 + 5 * ( pi + 1 ) . <empty> ADD
-> 3 + 5 * ( pi + 1 ) . ADD
-> 3 + 5 * ( pi + 1 ) . <empty>
-> 3 + 5 * ( pi + 1 ) .
http://127.0.0.1:3999/s04.topdown.slide#1 Page 25 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 26 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 27 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 28 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 29 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 30 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 31 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 32 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 33 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
// ...
case Abs:
p.l.Scan()
fallthrough
case Lparen:
p.l.Scan()
if err := p.Expr(); err != nil {
return err
}
if _, _, found := p.match(Rparen); !found {
return fmt.Errorf("')' expected")
}
return nil
default:
return fmt.Errorf("syntax error")
}
}
http://127.0.0.1:3999/s04.topdown.slide#1 Page 34 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 35 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 36 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
func main() {
text := `3 + (41.32 * abs(1 * pi))`
http://127.0.0.1:3999/s04.topdown.slide#1 Page 37 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 38 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 39 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 40 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 41 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
decrementarlo al salir
http://127.0.0.1:3999/s04.topdown.slide#1 Page 42 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 43 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 44 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 45 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 46 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 47 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 48 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
func main() {
text := `3 + 2 * abs(5)`
// `3 + (41.32 * abs(1 * pi))`
http://127.0.0.1:3999/s04.topdown.slide#1 Page 49 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Acciones
En realidad lo que acabamos de hacer es
http://127.0.0.1:3999/s04.topdown.slide#1 Page 50 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 51 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Atributos
3 * 2 + abs(5)
http://127.0.0.1:3999/s04.topdown.slide#1 Page 52 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 53 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 54 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 55 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 56 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 57 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 58 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
http://127.0.0.1:3999/s04.topdown.slide#1 Page 59 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
func main() {
text := `abs(-1) + (3 * 2) * 1 + 5 + pi`
http://127.0.0.1:3999/s04.topdown.slide#1 Page 60 of 61
Compiladores: Análisis sintáctico descendente recursivo - (c)2014 LSUB 1/25/16, 2:48 PM
Questions?
Francisco J Ballesteros
LSUB, URJC
http://lsub.org (http://lsub.org)
http://127.0.0.1:3999/s04.topdown.slide#1 Page 61 of 61