Ingeniera Tcnica en Informtica de Sistemas

Teora de Autmatas y Lenguajes Formales La Rbida 28 de Junio de 2002

NOMBRE:

Ejercicio 1.Dada la gramtica regular:: S 1A | 1B A 0A | 0C | 1C | 1 B 1A | 1C | 1 C0 Obtener: 1) el AFND correspondiente a la gramtica dada. 2) el AFD equivalente al del apartado 1). 3) El AFD mnimo equivalente al del apartado 2) 4) la expresin regular del lenguaje generado por ella. Ejercicio 2.Determinar el AFDmnimo para la siguiente expresin regular: = 0* ( 10*10* )* ) Ejercicio 3.Dada la siguiente gramtica: S(I)|x II,S|S Se pide:

(2 puntos)

(1 punto)

(3 puntos)

a) Eliminar la recursividad por la izquierda y comprobar si es LL(1) mediante el clculo de los conjuntos Primero y Siguiente. b) A partir de la tabla LL(1) especifica el pseudocdigo de anlisis sintctico descendente y realizar el anlisis para la entrada: ( x, (x,x)) Ejercicio 4.Dado el lenguaje {xnymzn / n >=0,m>0} U {xnvzn /n>=0} Se pide: a) Construir una gramtica LR(1) que lo reconozca.
Pg 1/8

(3 puntos)

b) Construir la tabla LR y especificar el pseudocdigo para el anlisis sintctico ascendente. c) Analizar si es correcta sintcticamente la entrada: xxyzz xxvvzz Ejercicio 5.Convertir la siguiente gramtica en forma normal de Chomsky. S AaB A bA A B cB B Duracin del examen: 9:00 a 11:30 (1 punto)

Pg 2/8

Ingeniera Tcnica en Informtica de Sistemas

Teora de Autmatas y Lenguajes Formales La Rbida 4 de septiembre de 2002
NOMBRE:

Ejercicio 1.(2 puntos) Sea el autmata finito no determinista definido por la tabla siguiente :
p q r *s a q p,r,s b p,r p,s s r,s r

Obtener: a) El AFD equivalente b) El AFD minnimo del apartado a). c) La gramtica correspondiente al autmata del apartado b). d) la expresin regular del lenguaje generado por ella. Ejercicio 2.Determinar el AFDmnimo para la siguiente expresin regular: = a + ( b a* )* Ejercicio 3.Dada la siguiente gramtica: S S a X | X XYbZ YYc|d Zd|eRZ RRc|d c) Eliminar la recursividad por la izquierda y comprobar si es LL(1) mediante el clculo de los conjuntos Primero y Siguiente. d) A partir de la tabla LL(1) especificar el pseudocdigo de anlisis sintctico descendente y realizar el anlisis para la entrada: ddbd
Pg 3/8

(1 punto)

(3 puntos)

e) Escribir el analizador descendente predictivo recursivo.

Ejercicio 4.Dado el lenguaje {x y Se pide: d) Construir una gramtica LR(1) que lo reconozca.
n n+p+q p q

(3 puntos)

x z /n,p,q>=0}

e) Construir la tabla LR y especificar el pseudocdigo para el anlisis sintctico ascendente. f) Analizar si son correctas sintcticamente las entradas: xyyxz, xyyyxz

Ejercicio 5.Convertir la siguiente gramtica en forma normal de Chomsky: S AB / 0E A 0AS / A0 / B B1 / 1 D B1 / 1F / E E1 F 0D

(1 punto)

Pg 4/8

Ingeniera Tcnica en Informtica de Sistemas

T de Autmatas y Lenguajes Formales La Rbida 3 de Septiembre de 2003
NOMBRE(nota de prcticas):

Ejercicio 1.puntos)

(1.5

Responder brevemente a las siguientes cuestiones: a) Definir formalmente las producciones de una gramtica tipo 1. b) Definir formalmente un autmata a pila. c) Definir formalmente el lenguaje aceptado por un autmata a pila en los dos casos: por estados finales y por pila vaca Ejercicio 2.puntos) Dada la expresin regular: R= (ba*b + a*)*ab Obtener: a) El AFD mnimo asociado a la expresin regular. b) La gramtica regular asociada al AFD del apartado a). Ejercicio 3.puntos) Definir una gramtica en Forma Normal de Chomsky equivalente a la siguiente: S cBa | cAb A cbBa | cAba | BS | aC B cBbb | C abCb (2 (2

Ejercicio 4.puntos) Dada la gramtica: SAB A f i [ C ]

(2.5

Pg 5/8

BbDe

Ci| C,i Ei=F Se pide:

DE | D,E Fi | i+i f) Factorizar, eliminar la recursividad por la izquierda y comprobar si es LL(1) mediante el clculo de los conjuntos Primero y Siguiente. g) A partir de la tabla LL(1) especificar el pseudocdigo de anlisis sintctico descendente y realizar el anlisis para la entrada: f i[i,i] b i = i + i e

Ejercicio 5.Dada la gramtica: B{L}

(2 puntos)

LL;S| S

S B|V=E V i | i [ E ] E E + T | T T V|(E) Se pide: a) Construir la tabla LR y especificar el pseudocdigo para el anlisis sintctico ascendente. b) Realizar el anlisis para la entrada: { i [i] = i }

Duracin del examen: 16:00 a 18:30

Pg 6/8

Ingeniera Tcnica en Informtica de Sistemas

Teora de Autmatas y Lenguajes Formales La Rbida 5 de Septiembre de 2001 Ejercicio 1.(1.5 puntos) Un sumador binario es un dispositivo que suma dos nmeros codificados en binario y da el resultado en binario. En el sumador serie los bits de los sumandos se presentan secuencialmente y por parejas, es decir, primero se presentan los dos bits de menor peso, el sumador los suma y obtiene el bit de menor peso del resultado (y toma nota del arrastre, si lo hay), luego los siguientes,etc. Encontrar para este sumador serie: a) La mquina secuencial de Mealy. b) La mquina de Moore equivalente a la del apartado a). c) Comprobar la suma en binario de 01010 + 01000 = 10010 Ejercicio 2.(2 puntos) Dada la expresin regular = aa*+ba*b* obtener un AFD mnimo del correspondiente lenguaje y una gramtica regular que lo genere. Ejercicio 3.Dada la siguiente gramtica: (3.5 puntos)

<programa> PROGRAM ( ) BEGIN <cuerpo> END <cuerpo> <cuerpo> <instruc> | <instruc> ID = <expr> | WHILE <expr> DO <instruc> | BEGIN cuerpo END <expr> <expr> OPARI <expr> | <expr> OPLOG <expr> | ID | NUM h) Eliminar la recursividad por la izquierda y comprobar si es LL(1) mediante el clculo de los conjuntos Primero y Siguiente. i) A partir de la tabla LL(1) especificar el pseudocdigo de anlisis sintctico descendente y realizar el anlisis para la entrada: PROGRAM ( ) BEGIN WHILE ID DO ID = NUM END Ejercicio 4.(3 puntos) Dada la gramtica: S01A; A01A|E EE-P|P P 0 | (0 ; 0) | (A) g) Construir la tabla LR y especificar el pseudocdigo para el anlisis sintctico ascendente.
Pg 7/8

h) Analizar si es correcta sintcticamente la entrada: 0 1 0 1 ( 0 ; 0 ) ; Duracin del examen: 9:00 a 11:30

EXAMEN DE PRCTICAS: MARTES 25/9/01 A LAS 10. LABOR. DE INFORMTICA II

Pg 8/8