Universidad Católica del Norte

Facultad de Ingeniería y Ciencias Geológicas

Departamento de Ingeniería de Sistemas y Computación

ACTIVIDADES 13 2010.07.01
Capitulo 5
TEORIA DE AUTOMATAS Y LENGUAJES FORMALES (CC-972)
Académico: Jacqueline Manriquez
Ayudante: Christopher Spataris
I semestre 2010

Ejercicio 1. Sea el APD M = ({q1, q2}, {0, 1, c}, {R, B, G}, , q1, R, ) que reconoce por pila
vacía el conjunto de strings N(M) = {wcwr / w(0 + 1)*}. Analizar DI para w
01c10 y w=0c1. Los movimientos de este APD, que es determinístico, son:

(q1,0,R) = {(q1, BR)}

 (q1,0,B) = {(q1, BB)}
 (q1,0,G) = {(q1, BG)}
 (q1,1,R) = {(q1, GR)}
 (q1,1,B) = {(q1, GB)}
 (q1,1,G) = {(q1, GG)}
 (q1,c,R) = {(q2, R)}
 (q1,c,B) = {(q2, B)}
 (q1,c,G) = {(q2, G)}
 (q2,0,B) = {(q2, )}
 (q2,1,G) = {(q2, )}
 (q2, ,R) = {(q2, )}

Ejercicio 2. El APD M = ({q1, q2}, {0, 1}, {R, B, G},, q1, R, ) acepta por pila vacía el
conjunto N(M) = {wwr / w(0 + 1)*}. Analizar el string w=001100 Es no
determinístico y sus movimientos son:

 (q1,0,R) = {(q1, BR)}

 (q1,1,R) = {(q1, GR)}
 (q1,0,B) = {(q1, BB), (q2, )}
 (q1,0,G) = {(q1, BG)}
 (q1,1,B) = {(q1, GB)}
 (q1,1,G) = {(q1, GG), (q2, )}
 (q2,0,B) = {(q2, )}
 (q2,1,G) = {(q2, )}
 (q1, ,R) = {(q2, )}
 (q2, ,R) = {(q2, )}

Ejercicio 3. Comprobar que w = aaac es aceptado, siendo el g.l.c. G = ({, X1, X2, X3), {a, b,
c}, P, ) en que P tiene las producciones:

  aX1X2
X1  aX3 | b
X2  aX3 | c
X3  a
 Universidad Católica del Norte
Facultad de Ingeniería y Ciencias Geológicas
Departamento de Ingeniería de Sistemas y Computación

Ejercicio 4. Construir la gramática G = (N, T, P, ) sin símbolos inútiles y en FNG que genere
N(M). Sea M = ({q0, q1}, {0, 1}, {X, Z0}, , q0, Z0, ) en que  es:

 (q0, 0, Z0) = {(q0, XZ0)}

 (q0, 0, X) = {(q0, XX)}
 (q0, 1, X) = {(q0, )}
 (q1, 1, X) = {(q1, )}
 (q1, , X) = {(q1, )}
 (q1, , Z0) = {(q1, )}