Elementos de Programación Primera Relación de Problemas 1
UNIVERSIDAD DE MALAGA
DPTO. DE LENGUAJES Y C. DE LA COMPUTACION
E.T.S. DE INGENIERIA INFORMATICA
INGENIERIA INFORMATICA
ELEMENTOS DE PROGRAMACIÓN
(CURSO 2004-2005)
PRIMERA RELACIÓN DE PROBLEMAS
1.- Dada la siguiente gramática:
Símbolos no terminales: Los englobados entre <>
Símbolos terminales: El resto
Axioma inicial: <cabecera>
Reglas:
R1)<cabecera> ::= <def-tipos><decl-var>
R2)<defTipos> ::= TIPOS {<ident>=<tipo>;}
R3)<tipo> ::= <tipoEnum>|<tipoSubrango>|<tipoArray>
R4)<tipoEnum> ::= ‘(‘ <ident>{,<ident>}’)’
R5)<tipoSubrango> ::= ‘[‘ <cte> ‘..’ <cte> ‘]’
R6)<tipoArray> ::= ARRAY <ident> DE <tipo>
R7)<declVar> ::= VARIABLES {<ident>{,<ident>}:
(<enum>|<subrango>|<array>);}
R8)<enum> ::= <ident>
R9)<subrango> ::= <tipoSubrango>
R10)<array> ::= <ident>
R11)<ident> ::= <letra>{<letra>|<digito>}
R12)<letra> ::= a|.......|z
R13)<digitoNoNulo>::= 1|2|3|...|9
R14)<digito> ::= 0|<digito-no-nulo>
R15)<cte> ::= <digitoNoNulo>{<digito>}
Analice la siguiente frase y razone para cada una de las líneas numeradas si pertenece o no al
lenguaje generado por la gramática.
TIPOS
1) lista1 = ARRAY [1 .. 20] DE colores;
2) colores=(amarillo, azul, rojo, verde4);
3) indice=[1 .. 20];
4) lista2 = ARRAY indice DE colores;
5) lista3 = ARRAY indice DE indice;
6) lista4 = ARRAY colores DE [1 .. 20];
VARIABLES
7) z1: lista4;
8) x1: (amarillo, azul, rojo, verde4);
9) x2: colores;
10) y1: [1 .. 20];
11) y2: indice;
12) z2: ARRAY indice DE colores;
Si la respuesta es que pertenece se pide dar la secuencia de reglas (derivación izquierda); si la
respuesta es negativa explicar que regla falla. Ejemplo de solución:
1 F Errónea, pues la regla R6 exige que en la sección de TIPOS, tras la palabra
ARRAY venga un <ident> y el primer carácter que viene es ‘[‘, que no es una letra
7 V Correcta por aplicación de R7, R11, R12, R14, R13, R8, R11, R12, R14, R13
Elementos de Programación Primera Relación de Problemas 2
2.- Dada la siguiente gramática expresada en notación BNF
Axioma inicial = A
Símbolos terminales = a,b,c,d,e,g,m,n,s
Símbolos no terminales = A,B,E,F,P
Reglas sintácticas 1. A ::= a B c |
2. Bc
3. B ::= [b]dE
4. E ::= eE |
5. gE |
6. F |
7. {mP}
8. F ::= [sF]
9. P ::= n
Determine si las siguientes frases son correctas o no. Si son incorrectas indique el motivo, y si
son correctas indique la secuencia de reglas que hay que aplicar las reglas para obtenerlas a
partir del axioma inicial. 1. abdegeec
2. adeeggsmnc
3. abdeeggmnmnc
4. abdegegmmnnc
5. desssc
3.- Defina las gramáticas (mediante notación BNF y diagramas CONWAY) que generen los
siguientes lenguajes:
a) L = {banb / n impar y mayor que cero}
b) L = {anb2n / n >= 0}
c) El lenguaje que define expresiones algebraicas con paréntesis, corchetes y llaves. Se
eliminarán los números y símbolos de operación, y nos quedaremos sólo con paréntesis,
corchetes y llaves. Ciertas disposiciones serán válidas y ciertas no. Ejemplos:
Válidas ( )
( {[ ] ( ) } [ ])
{ }[ [ ] ]
Inválidas ) (
[ (
( { ) }
4.- Dadas la siguientes gramáticas expresada en notación BNF
1) Axioma inicial = A
Símbolos terminales = a,b,c,d,e
Símbolos no terminales = A,B,C,D,E
Reglas sintácticas: 1. A ::= a E d
2. E ::= { (BC) | D }
3. B ::= b {b | e}
4. C ::= c
5. D ::= d {d}
A.- Determine si las siguientes frases son correctas o no. Si son incorrectas indique
el motivo, y si son correctas indique como hay que aplicar las reglas para
obtenerlas a partir del axioma inicial.
1. a b e b b e d b c d d
2. a b c b c d d
B.- Obtenga la representación de la misma en notación Conway.
