Pr

1
Práctica 11

• Definiciones dirigidas por sintaxis (DDS)
• Esquemas de traducción (EDT)

2
Consideraciones previas

• La regla seguida para elegir los pasos de la
  animación es el reconocimiento de tokens cada
  vez que se reconoce un token, se hace un paso de
  la animación.
• Se han realizado ejemplos no muy extensos para
  clarificar la lectura de los árboles.
• En el ejercicio de EDT se ha considerado que las
  operaciones aritméticas son operaciones enteras.

3
Definiciones dirigidas por sintaxis (DDS)

• Cadena de entrada
• (true and (5gt3))xor(2gt2)

4
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
5
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
Se crea una nueva variable de tipo Boolean con el
valor true
6
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
La variable Boolean asciende hasta J y
posteriormente hasta L
7
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
8
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
9
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
10
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
Se crea una nueva variable de tipo Boolean y se
inicializa con el resultado de la operación 5gt3
(true)
11
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
La variable Boolean asciende hasta J pasando por
J y por L consecutivamente
12
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
Se realiza la operación and entre la variable
Boolean de L y la variable Boolean de J ((true
and true)?true)
13
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
El valor resultante de la operación anterior
asciende hasta L pasando por J
14
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
15
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
16
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
17
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
Se realiza la operación 2gt2 y el resultado
(true) se almacena en una variable Boolean
18
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
La variable Boolean llega hasta J, por lo que se
puede efectuar la operación xor entre L y J
((true xor true)?false)
19
Definiciones dirigidas por sintaxis (DDS)
(true and (5gt3))xor(2gt2)
El valor booleano se propaga hasta el axioma
20
Esquemas de traducción (EDT)

• Cadena de entrada
• (3-(4/2)5)2

21
Esquemas de traducción (EDT)
(3-(4/2)5)2
22
Esquemas de traducción (EDT)
(3-(4/2)5)2
Se encuentra un nuevo token significativo el
número 3, que posteriormente se propagará
23
Esquemas de traducción (EDT)
(3-(4/2)5)2
El número 3 asciende hasta f y se pasa a t1 como
un atributo heredado
En este caso, en t1 no se realizan operaciones,
por lo que se pasa el valor heredado tal cual
hacia t
El valor de t se pasa a e1 como un atributo
heredado
24
Esquemas de traducción (EDT)
(3-(4/2)5)2
25
Esquemas de traducción (EDT)
(3-(4/2)5)2
Se encuentra un nuevo token significativo el
número 4
26
Esquemas de traducción (EDT)
(3-(4/2)5)2
El número 4 se propaga hacia f y posteriormente
hacia t1 como un atributo heredado
27
Esquemas de traducción (EDT)
(3-(4/2)5)2
En esta ocasión se realiza la primera operación
4/2 (2)
28
Esquemas de traducción (EDT)
(3-(4/2)5)2
29
Esquemas de traducción (EDT)
(3-(4/2)5)2
El resultado de la operación anterior (2) llega a
t tras sucesivas propagaciones
El valor que anteriormente había heredado e1 (3)
realiza la operación actual (-) con el valor
recién propagado a t (2). Es decir, 3-2 (1)
El valor resultante (1) se pasa a e1 como un
atributo heredado
30
Esquemas de traducción (EDT)
(3-(4/2)5)2
Se encuentra el número 5, por lo que se puede
realizar la operación actual () junto con el
valor que ha heredado e1 15 (6)
31
Esquemas de traducción (EDT)
(3-(4/2)5)2
32
Esquemas de traducción (EDT)
(3-(4/2)5)2
El resultado anterior (6) se propaga
sucesivamente hasta llegar a t1
33
Esquemas de traducción (EDT)
(3-(4/2)5)2
El valor recién heredado de t1 se puede operar
() junto con el nuevo token encontrado (2) 62
(12)
34
Esquemas de traducción (EDT)
(3-(4/2)5)2
El valor solución de evaluar la expresión
aritmética de la cadena de entrada es 12, que se
propaga hasta el axioma a
35
Esquemas de traducción (EDT)
(3-(4/2)5)2