Lpp Ejercicios

EJERCICIOS DE
LENGUAJES Y PARADIGMAS
´
DE PROGRAMACION
(CUESTIONES DE EXAMEN)

´
PROGRAMACION FUNCIONAL

1

´
LENGUAJES Y PARADIGMAS: INTRODUCCION
1. Indica cu´l de las siguientes afirmaciones referentes a la Programaci´n
a
o
Declarativa (PD) e Imperativa (PI) es falsa:
A Las instrucciones de un programa declarativo son un conjunto de
inferencias l´gicas.
o
B Un programa en PDse corresponde con la especificaci´n de un
o
problema.
C El modelo de computaci´n de la PI es una m´quina de estados.
o
a
D Las variables en la PI representan referencias a la memoria.
2. Indica cu´l de las siguientes afirmaciones es cierta.
a
A Un analizador l´xico (scanner) es un programa que divide una
e
secuencia de caracteres (el programa) en una secuencia de componentes sint´cticosprimitivos: las instrucciones.
a
B La compatibilidad de tipos, el alcance de las variables y la signatura de las funciones (coincidencia del n´mero de par´metros
u
a
en una llamada con los par´metros formales) forman parte de la
a
sem´ntica est´tica del lenguaje.
a
a
C La sintaxis define el significado de un programa (es decir, qu´ proe
gramas son legales o conformes con la especificaci´nde un leno
guaje).
D La herramienta m´s empleada para describir la sintaxis de un
a
lenguaje de programaci´n es la sem´ntica operacional.
o
a
3. Indica cu´l de las siguientes afirmaciones es cierta:
a
A una desventaja de los lenguajes de programaci´n declarativos es
o
que, para resolver un mismo problema, se requieren en general
m´s l´
a ıneas de c´digo que usando otros lenguajes deprogramaci´n
o
o
m´s convencionales, como Pascal.
a
B al ser de mayor nivel, los programas declarativos resultan m´s
a
f´ciles de mantener que los correspondientes programas imperaa
tivos.
C no existe ning´n lenguaje orientado a objetos y a la vez declarau
tivo.
D los lenguajes declarativos carecen de aplicaciones pr´cticas.
a

2

4. Indica cu´l de las siguientes afirmaciones esfalsa.
a
A La notaci´n BNF no es suficiente para describir, por ejemplo, la
o
compatibilidad de tipos y la coincidencia de par´metros en una
a
llamada con los par´metros formales
a
B La notaci´n BNF es una notaci´n definir la sintaxis de un lenguaje
o
o
de programaci´n
o
C La sem´ntica de los lenguajes de programaci´n sirve para definir
a
o
ex´ctamente qu´ hace un programa (es decir, qu´computa)
a
e
e
D Un int´rprete es un traductor que genera un programa objeto en
e
el mismo lenguaje que el programa fuente
5. Indica cu´l de las siguientes asociaciones entre lenguaje de programaci´n
a
o
y concepto (o propiedad) inherente al mismo es cierta :
A lenguaje imperativo - herencia
B lenguaje funcional - polimorfismo
C lenguaje l´gico - estados expl´
o
ıcitos
D lenguajeimperativo - orden superior
6. Indica el tipo de definici´n sem´ntica al que pertenece la siguiente regla:
o
a
i0 ,e →e i1 ,e →e
i0 ;i1 ,e →e

A sem´ntica axiom´tica
a
a
B sem´ntica operacional
a
C sem´ntica denotacional
a
D sem´ntica algebraica
a
7. Indica cu´l de las siguientes asociaciones es cierta :
a
A En la genealog´ de los lenguajes de programaci´n, el lenguaje
ıa
o
Adapuede verse como un descendiente de C.
B En la genealog´ de los lenguajes de programaci´n, el lenguaje
ıa
o
Java puede verse como un descendiente de Modula-2.
C En la genealog´ de los lenguajes de programaci´n, el lenguaje
ıa
o
Haskell puede verse como un descendiente de Simula 67.
D El lenguaje de programaci´n Java incorpora algunas caracter´
o
ısticas que fueron introducidas algunosa˜os atr´s, por primera vez,
n
a
por algunos lenguajes declarativos.
3

8. Indica cu´l de las siguientes afirmaciones es cierta.
a
A La sem´ntica axiom´tica es un tipo de sem´ntica declarativa de
a
a
a
los lenguajes de programaci´n.
o
B La sem´ntica axiom´tica es el tipo de sem´ntica m´s natural para
a
a
a
a
la descripci´n de los lenguajes de programaci´n declarativos.
o
o
C...