Gramatica con atributos

1. Compiladores 2021B Benjamín Joaquín Martínez
6.1 Escriba una gramática con atributos para el valor entero de un número dado por la gramática
siguiente:
número  digito número | digito
digito  0| 1|2|3|4|5|6|7|8|9
Regla gramatical Reglas semánticas
numero1 
digito numero2
numero1.exp = 1 + numero2.exp
numero1.valor =
𝑑𝑖𝑔𝑖𝑡𝑜. 𝑣𝑎𝑙𝑜𝑟 ∗ 10 𝑛𝑢𝑚𝑒𝑟𝑜1.𝑒𝑥𝑝
+ numero2.valor
numero  digito numero.exp = 0
numero.valor= digito.valor
digito  0
|1
|2
|3
|4
|5
|6
|7
|8
|9
digito.valor = 0
digito.valor = 1
digito.valor = 2
digito.valor = 3
digito.valor = 4
digito.valor = 5
digito.valor = 6
digito.valor = 7
digito.valor = 8
digito.valor = 9
numero
numero
digito
digito numero
digito
3
2
1
digito.valor=1
numero.exp=0
numero.valor=1
numero1.exp= 1 + 0 =1
numero1.valor=(2 ∗ 10 1
)+ 1= 21
numero1.exp= 1 + 1 =2
numero1.valor=(3 ∗ 10 2
)+ 21= 321
digito.valor=2
digito.valor=3

2. Compiladores 2021B Benjamín Joaquín Martínez
6.2 Escriba una gramática con atributos para el valor de punto flotante de número decimal dado
por la gramática siguiente. ( sugerencia: utilice un atributo conteo para contar el número de
dígitos a la derecha del punto decimal. =
dnum  num . num
num  num digito | digito
digito  0 | 1 |2 | 3 | 4 | 5 | 6 |7 |8 |9
Regla gramatical Reglas semánticas
dnum  num1.num2 dnum.conteo = (num1.conteo + num2.conteo)
- num1.conteo
dnum.valor = num1.valor +( 𝑛𝑢𝑚2. 𝑣𝑎𝑙𝑜𝑟 ∗
10 −𝑑𝑛𝑢𝑚.𝑐𝑜𝑛𝑡𝑒𝑜
)
num1  num2 digito num1.valor= num2.valor * 10 + digito.valor
num1.conteo = 1 + num2.conteo
num  digito num.valor = digito.valor
num.conteo=1
digito  0
|1
|2
|3
|4
|5
|6
|7
|8
|9
digito.valor = 0
digito.valor = 1
digito.valor = 2
digito.valor = 3
digito.valor = 4
digito.valor = 5
digito.valor = 6
digito.valor = 7
digito.valor = 8
digito.valor = 9

3. Compiladores 2021B Benjamín Joaquín Martínez
digito
(val=5)
num
(val=3)
(conteo=1)
digito
(val = 3)
3
digito
(val=4)
4
5
dnum
(dnum.conteo = (3 +3) -3=3)
(dnum.valor = 345+( 345 ∗ 10 −3
) = 345 + 0.345= 345.345)
.
num
(val=34*10+5 = 345)
(conteo= 2 + 1 =3)
num
(val=34*10+5 = 345)
(conteo= 2 + 1 =3)
num
(val=3*10+4=34)
(conteo= 1 + 1 =2)
num
(val=3*10+4=34)
(conteo= 1 + 1 =2)
digito
(val=5)
num
(val=3)
(conteo=1)
digito
(val=4)
digito
(val = 3)
3
4
5

4. Compiladores 2021B Benjamín Joaquín Martínez
6.6 Considere la gramática siguiente para árboles binarios enteros ( en forma linealizada):
árbol  ( número árbol árbol ) | nil
Escriba una gramática con atributos para verificar que está ordenado un árbol binario, es decir,
que los valores de los números del primer subárbol sean <= que el valor del número actual y los
valores de todos los números del segundo subárbol sean >= al valor del número actual. Por
ejemplo (2 (1 nil nil ) (3 nil nil)) está ordenado, pero (1 (2 nil nil ) (3 nil nil) ) no lo está.
Regla gramatical Reglas semánticas
arbol1  ( número árbol2 árbol3 ) arbol1.val = numero.val
if arbol2.val = null and arbol3.val= null then arbol1.balanceado = true
else
if numero.val >= arbol2.val
and numero.val <= arbol3.val
then
arbol1.balanceado = true else arbol1.balanceado= false
if arbol1.balanceado= false then error.
árbol  nil nil.val=null
árbol.val = nil.val
arbol
( numero arbol arbol )
2
( numero árbol árbol )
arbol.val=null arbol.val=nulll
( numero arbol arbol )
arbol.val=null arbol.val=null
1 nil nil
3 nil nil
nil.val= null
nil.val= null
nil.val=null
nil.val=null
arbol.val=3
arbol.balancedo=true
arbol.val=1
arbol.balancedo=true
numero.val=1 numero.val=3
numero.val=2
arbol.balanceado = true