Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Competencia 1
E→E-T
E→ T
E . val : = T . val
T→T/F
T→ F
T. val : = F . val
F→( E )
F . val : = E. val
F → digito
F . val : = DIGITO.valex
10. Para la siguiente gramática derive dos cadenas válidas para cada ejercicio (diferentes
a los ejercicios mostrados en documentos de apoyo), dibuje los árboles sintácticos
correspondientes, escriba la definición formal de la gramática, dibuje los árboles anotados
para cada cadena indicando la regla semántica aplicada.
X → VARIABLE T : Y
T → Td , ID | ID
T . tipo = Y . tipo
Td.tipo = T.tipo
ID.tipo = T.tipo
Y. tipo = entero
Y. tipo = real
Y .tipo = logico