Examen septiembre 2017 original

1. (2,5 puntos). Responda a las siguientes preguntas:

a. Defina en qu consiste el lxico, la sintaxis y la semntica del lenguaje de
programacin. Ilustre las definiciones con algn ejemplo.
b. Identifiquen de que se ocupa cada una de las fases de anlisis que llevan a
cabo los intrpretes y compiladores y relacinalos con los conceptos definidos
en la pregunta anterior.

2. (2,5 puntos). Responda a las siguientes preguntas:

a. Compare las listas de Haskell con las listas de Prolog. Describa su
funcionamiento.
b. Defina y compare los lenguajes fuertemente tipados y dbilmente tipados.
Ponga un ejemplo de cada uno de ellos y comente las ventajas de
inconvenientes.

3. (2,5 puntos). Para las siguientes expresiones

a. 23 * (2 + 11) 1
b. (4 1) / (7 5)
1. El rbol sintctico abstracto de la expresin.
2. A partir del rbol sintctico, construya la expresin postfija.
3. A partir de la expresin postfija, indique la lista de instrucciones mquina pila para
poder evaluar la expresin.
c. Responda: con qu recorrido del rbol sintctico abstracto se corresponde la
expresin postfija? Y la infija?

4. (2,5 puntos). Imaginemos un lenguaje que admita definicin de subprogramas, pero

todos ellos al mismo nivel (como en el caso de C), es decir, que no puedan anidarse
subprogramas dentro de otros (como si permite Pascal).
a. Describa que informacin deber almacenarse en los registros de activacin
de los subprogramas, de forma que pueda gestionarse correctamente la
ejecucin.
b. Describa como se organizan esos registros de activacin para una correcta
ejecucin de los programas. Ponga un ejemplo en el que se vea esta
organizacin.