Examen de Introducci

on a la Teor
a de
Aut
omatas y Lengua jes Formales

TAL
23 de Enero de 2001
(I) CUESTIONES:

1. Dado L   , sea borra a(L) el lenguaje obtenido eliminando de las palabras de

L el smbolo a. >Es la familia de los lenguajes regulares cerrada bajo la operaci
on
borra a?
(1 punto)
Solucion
Es facil establecer la operacion borra a como un homomorsmo h :  !  denido
como h(a) =  y 8b 2  fag h(b) = b. Dado que la clase de los lenguajes regulares
es cerrada bajo la operacion de homomorsmo, entonces tambien es cerrada bajo la
operacion borra a.
2. Sea L = f0n1x10n; x 2 f0; 1g; n  0g. >Es L regular?
(1 punto)
Solucion
Sea la secuencia de cadenas f0i 101gi, es decir la secuencia de cadenas 0101; 00101;


.
Tomemos losndices i y j con i 6= j que forman las cadenas 0i 101 y 0j 101 pertenecientes
a la secuencia anterior. Resulta evidente que 0i 2 (0i 101) 1L y 0i 2= (0j 101) 1L,
luego 0i 101 y 0j 101 no se relacionan bajo RL . Por lo tanto, existen innitas clases
de equivalencia (una por cada cadena de la secuencia denida inicialmente) y L no
es regular.
3. Sea n  1 y sea Ln = fx 2 (a + b) : jxja  jxjb (mod n)g:
(a) >Es Ln regular para todo n?
S
(b) Sea L = n1 Ln . > Es L regular?
T
(c) Sea L0 = n1 Ln . > Es L0 regular?
Solucion
(a) Denamos A = (Q; ; ; q0; F ) con
Q = f(m1 ; m2 ) j m1 ; m2 2 Zng
q0 = (0; 0)
F = f(m; m) j m 2 Zng
((m1 ; m2 ); a) = (m1 + 1 mod n; m2 )
((m1 ; m2 ); b) = (m1 ; m2 + 1 mod n)
1

(1.5 puntos)

Se puede comprobar por induccion sobre la longitud de cualquier cadena x que

((
) ) = (m1 + jxja mod n; m2 + jxjb mod n). Por lo tanto el lenguaje
( ) lo denimos como sigue:
L(A) = fx 2 (a + b) j ((0; 0); x) 2 F g = fx 2 (a + b) j (jxja mod n; jxjb mod
n) 2 F g = fx 2 (a + b) j jxja mod n = jxjb mod ng = Ln
Por lo tanto, al haber construido un automata nito que acepta Ln , podemos
asegurar que Ln es regular para cualquier valor n  1.
S
(b) L = n1 Ln =  . Observese que para cualquier cadenaSx se cumple que jxja
mod 1 = jxjb mod 1. Por lo tanto, L1 =  y L =  [ n2 Ln =  que es
regular.
T
(c) L = n1 Ln = fx 2 (a + b) j jxja = jxjb g que ya sabemos que no es un
lenguaje regular.
m1 ; m2 ; x
L A

4. Sea L = fL   : L = Lg: >Es L cerrada bajo: (a) Union, (b) Clausura, y (c)
Concatenacion ?
(1.5 puntos)
Solucion
(a) No es cerrada bajo union. Tomemos los lenguajes de L L = a y L0 = b .
Evidentemente, L [ L0 = a + b que diere de (L [ L0 ) = (a + b) . Luego
L [ L0 2
= L .
(b) S que es cerrada bajo clausura, ya que 8L 2 L L = L = (L ) .
(c) No es cerrada bajo producto. Tomemos de nuevo los lenguajes L = a y L0 = b .
En este caso LL0 = a b que diere de (LL0) = (a b ) = (a + b) .
(II) PROBLEMAS:

5. Escriba un modulo Mathematica que, teniendo como entrada un automata nito determinista A = (Q; ; ; q0; F ), conteste True si existen estados q1 y q2 y un smbolo
a tales que (q1 ; a) = q2 y (q2 ; a) = q1 y False en caso contrario.
(2 puntos)
Solucion
problema5[aut List]:= Module[ f trans,transrever,i,lista g,
trans = aut[[3]];
transrever = fg;
For[ i=1, i Length[trans],i++,
transrever=Append[transrever,Reverse[trans[[i]]]]
];
lista= Intersection[trans,transrever];
If[lista =!= fg, Return[True],Return[False]]
]
6. Sea h el homomorsmo h : fa; bg ! f0; 1g denido como h(a) = 010 y h(b) = 11. Sea
r = (01+1) 0. D
e un automata nito determinista A tal que L(A) = h 1 (L(r)):
(1.5 puntos)
Solucion
Comenzaremos por calcular las derivadas de r:
r = (01 + 1) 0 = q0
0 1 r = 1(01 + 1) 0 +  = q1 2 F
2

1 1 r = r = q0
0 1 q1 = ; = q2
1 1 q1 = r = q0
0 1 q2 = q2
1 1 q2 = q2
A partir de las anteriores derivadas podemos construir el siguiente AFD que es completo
1

0,1
0

Calculamos el automata complementario del anterior AFD

1

0,1
0

Por ultimo, aplicamos el homomorsmo inverso que da lugar al siguiente automata
que es la solucion del ejercicio
b

a,b
a

7. De el automata nito determinista mnimo equivalente al de la gura (1.5 puntos)

1

0
q

En primer lugar obtenemos el AFD equivalente al de la gura mediante las siguientes

tablas
0
1
q0
q1
q2
q3

q1 ; q2
q3
q3
q1

fq0 g

fq1 ; q2 g
fq1 ; q2 g fq3 g
fq3 g
fq1 g
fq0 ; q3 g fq1 ; q2 g
fq1 g
fq3 g
fq2 g
fq3 g

q1 ; q2

q0 ; q3
q2

fq1 ; q2 g
fq0 ; q3 g
fq2 g
fq1 ; q2 g
;
fq0 ; q3 g

A partir de la ultima tabla obtenemos el siguiente AFD

0
0,1
q

0
0,1

q q
1 2

q q
0 3

Por ultimo minimizamos el automata anterior y obtenemos el AFD mnimo que se

pide en el problema
0

0,1

0
0