cnica Federico Santa Mara

Universidad Te
tica
Departamento de Informa

Valparaso

Inform
atica Te
orica
Luis Salinas
Gua No 1
Valparaso, 11 de abril de 2010

1. Estudie las propiedades de las siguientes relaciones. Si la relacion es de equivalencia, determine

las clases de equivalencia inducidas por la relacion y los respectivos conjuntos cuocientes resultantes.
Si la relacion es de orden, determine si se trata de orden parcial o total. Por u
ltimo, si la relaci
on
esta definida en un conjunto finito, construya la matriz representante de la relacion.
(a) La relaci
on R definida sobre R mediante: x R y ssi |x y| 1 .
(b) La relaci
on R definida sobre R mediante: x R y ssi cos x = cos y .
(c) La relaci
on R definida sobre R mediante: x R y ssi (x y) Z.
(d) La relaci
on R definida sobre R mediante: x R y ssi (x y) Q.
(e) La relaci
on R definida sobre R R mediante: (u, v) R (x, y) ssi (x u, y v) Z Z.
(f) La relaci
on R definida sobre R R mediante: (u, v) R (x, y) ssi (x u, y v) Q Q.
(g) Sea T el conjunto de todos los triangulos en el plano euclideano y R la relacion en T definida
mediante: t1 R t2 ssi t1 y t2 tienen la misma area.
(h) Sea T el conjunto de todos los triangulos en el plano euclideano y R la relacion en T definida
mediante: t1 R t2 ssi t1 y t2 tienen dos angulos internos iguales.
(i) Sea A = {1, 2, 3, 4, 5, 6, 7} y R la relacion en A definida mediante: x R y ssi xy 10.
(j) Sea A = {1, 2, 3, 4} y R la relaci
on en A A definida mediante: (x1 , y1 ) R (x2 , y2 ) ssi y1 x1 =
(y2 x2 ).
(k) Sea A = {1, 2, 3, 4, 5, 6} y R la relacion en A A definida mediante: (x1 , y1 ) R (x2 , y2 ) ssi
y1 x1 = y2 x2
2. Sea R una relaci
on en un conjunto A con |A| = n N. Sea M la matriz relacional (cf. [1, p.
320] de R. Demuestre o refute:
(a) R es reflexiva In M .
(b) R es simetrica M = M T .
(c) R es transitiva M 2 M .
(d) R es antisimetrica M M T In .
Nota: Recuerdese que el producto de dos matrices A = (aij ) y B = (bij ) se define mediante
(aij ) (bij ) = (cij ), donde cij = 1 si aij = bij = 1 y cij = 0 en cualquier otro caso.
3. Defina una relaci
on R en N mediante aRb ssi (a) = (b), donde (a) = n
umero de divisores
positivos de a.
(a) Verifique que R es una relaci
on de equivalencia en N.
(b) En el conjunto cuociente N/R, defina [a] + [b] := [a + b] y [a] [b] = [ab], donde [a], [b] son las
clases de equivalencia de a, b inducidas por R en N. Estan bien definidas estas operaciones?
(i.e., se cumple aRc bRd (a + b)R(c + d), (ab)R(cd)?),
(c) Que estructura algebraica establece la definicion precedente (b) en N/R?
4. [1, p. 351, ex. 1,2]

Luis Salinas et al, UTFSM, I. Sem. 2010

(c)
(b)
(a)
s1
s2
s3
s4
s5

0
s4
s3
s1
s1
s3

1
s1
s3
s4
s3
s3

0
0
1
1
0
1

1
1
0
0
1
0

s1
s2
s3
s4
s5
s6

0
s6
s5
s6
s4
s2
s4

1
s3
s4
s2
s3
s4
s6

0
0
0
1
1
0
1

1
0
1
1
0
1
0

s1
s2
s3
s4
s5
s6
s7

0
s6
s3
s2
s7
s6
s5
s4

1
s3
s1
s4
s4
s7
s2
s1

0
0
0
0
0
0
1
0

1
0
0
0
0
0
0
0

(a) Aplique el procedimiento de minimizacion a cada uno de los automatas de Mealy descritos por
las tablas precedentes.
(b) Para cada uno de los aut
omatas precedentes, encuentre cadenas distinguidoras minimales, si
acaso existen, para los siguientes pares de estados: (i) s1 y s5 , (ii) s2 y s3 , (iii) s5 y s7 ,
5. Dise
ne un aut
omata finito que invierta los dgitos de los n
umeros naturales menores que 104 y
4
que rechace los que son mayores o iguales que 10 . Por ejemplo, si el string de entrada es 3141,
el string de salida debe ser 1413. Escriba un programa (en cualquier lenguaje) que simule este
automata.


6. Minimice la m
aquina finita de Mealy M = Q, I , O , , con Q = {q0 , q1 , q2 , q3 }, I = {0, 1},
O = {a, b}, donde las funciones de transicion y de salida vienen dadas por:
Q
q0
q1
q2
q3

I
0 1
q3 q2
q3 q1
q0 q1
q0 q2
(q, x)

I
0 1
a b
a b
b a
a b
(q, x)

Desarrollo. Como se recordar

a, se define una relacion de equivalencia E k , k N0 , sobre el conjunto
de estados Q mediante:
qi E k qj
Ekq

x kI : (qi , x) = (qj , x) .

(1)

E k -equivalentes.

Si qi
j , entonces se dice que qi y qj son
El algoritmo de minimizaci
on comienza hallando los estados que son 1-equivalentes. Estos estados
quedan en evidencia en la tabla descriptora de la maquina de Mealy M al observar las filas de salida:
estas son identicas. De este modo, las clases de E 1 -equivalencia en Q son:
{q0 , q1 , q3 } ,

{q2 } .

(2)

Ahora nos preguntamos si los estados dentro de una misma clase de E 1 -equivalencia, son E 2 equivalentes. Consideremos q0 y q1 . Como ya sabemos que q0 E 1 q1 , basta determinar si (q0 , x)E 1 (q1 , x)
para todo x I , i.e., si (q0 , x) y (q1 , x) estan en la misma clase de E 1 -equivalencia para todo
x I . Observamos que:
(q0 , 1) = q2
(q0 , 0) = q3
(q0 , 1) = q2

(q1 , 1) = q1
(q3 , 0) = q0
(q3 , 1) = q2

q1 E
/1q2
1

q0 E q3
1

q2 E q2

q0 E
/2q1 ,

(3)

q0 E 2 q3 .

(4)

Luego, q0 y q3 est
an en la misma clase de E 2 -equivalencia. Como E 2 es una relacion de equivalencia,
y q0 E
/2q1, q1 no puede estar en la misma E 2-clase de equivalencia que q0 y q3. Como q1 y q2 estan
tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

en diferentes clases de E 1 -equivalencia, no pueden estar en la misma clase de E 2 -equivalencia. En

sntesis, las clases de E 2 -equivalencia en Q son:
{q0 , q3 } ,

{q1 } ,

{q2 } .

(5)

Ahora habra que determinar las clases de E 3 -equivalencia en Q. Pero esto, en esencia, ya ha sido
hecho. En efecto, como los singletons {q1 } y {q2 } ya son clases de E 2 -equivalencia, tambien ser
an
clases de E 3 -equivalencia. Para ver que q0 y q3 son E 3 -equivalentes, basta observar que:
)
(q0 , 0) = q3 (q3 , 0) = q0 q0 E 2 q3

q0 E 3 q3 ,
(6)
(q0 , 1) = q2 (q3 , 1) = q2 q2 E 2 q2
que es la misma expresi
on (4), excepto que E 1 se cambia por E 2 y E 2 por E 3 . Luego las clases
de E 3 -equivalencia son exactamente las mismas que las clases de E 2 -equivalencia y el algoritmo
concluye. Eligiendo q0 como el representante de la clase {q0 , q3 }, el automata minimal viene dado
entonces por la tabla:
Q
q0
q1
q2

I
0 1
q0 q2
q0 q1
q0 q1
(q, x)

I
0 1
a b
a b
b a
(q, x)

donde q0 representa la clase {q0 , q3 }.

7. Hoy Domingo 11 de Abril de 2010, vagando por la web, d con un dramatico y angustioso
grito de socorro, lanzado hacia el mes de Enero de 2008:
Hola a todos, el caso es que me han mandado que haga un ejercicio y no se por donde meterle
mano; me resulta muy difcil ya que este tipo de ejercicios, tan difciles, no los he hecho (nunca).
Os lo pongo, a ver si un compa
nero me resuelve el Mealy minimal con su tabla de verdad.
Ejercicio. En una estaci
on de tren se va a instalar una m
aquina autom
atica de venta de billetes
con el siguiente modo de funcionamiento: s
olo existen tres tipos de billetes: cercanas, regionales
y largo recorrido, cuyos precios son, respectivamente, 2, 4 y 6 euros. El usuario pulsa el bot
on
correspondiente al tipo de billete que desea, a continuaci
on en un display aparece la cantidad
de monedas de 1 euro necesarias para su adquisici
on. Esta cantidad va disminuyendo a medida
que el usuario introduce monedas de 1 euro (en la m
aquina). Cuando se completa el importe, la
m
aquina emite el billete correspondiente. Dise
nar el sistema que implemente este dispositivo usando
las siguientes se
nales de entrada y salida
Entradas:
SC Solicitud de billete de cercanas.
SR Solicitud de billete regional.
SL Solicitud de billete de largo recorrido.
M Introducc
on de una moneda de 1 euro.
Salidas
IC Imprime billete de cercanas.
IR Imprime billete regional.
IL Imprime billete de largo recorrido.
P Cantidad pendiente (codificada en binario natural).
Boff ! Ave si me podeis hacer el favor! Saludos!
Ayude Ud. a ese pobre cristiano, o moro, o judo, o lo que sea, antes de que suicide. Quizas su ayuda
llegue muy tarde, 2 a
nos muy tarde, para ser mas precisos. De paso, aproveche para leer Nathan el
tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

Sabio (ttulo original en alem

an, Nathan der Weise), obra de teatro escrita por Gotthold Ephraim
Lessing y publicada en 1779. Haga un report y presentelo en clases.
8. Dise
ne un at
omata de Mealy minimal que controle adecuadamente un sistema de 3 ascensores
en un edificio de 15 pisos y 3 subterr
aneos. Para resolver este ejercicio convendra que Ud. visitara
una instalaci
on de ascensores real.
9. Durante la primera mitad del siglo XX, en el sistema de Educacion P
ublica de la Rep
ublica de
Chile, los educandos aprendan un divertido metodo para extraer raz cuadrada de un n
umero entero
positivo, con un n
umero arbitrario de decimales, usando solamente lapiz y papel.
Transfiera ese algoritmo al sistema de los n
umeros enteros binarios positivos, manteniendo la estructura de un n
umero arbitrario de bits a la derecha de la coma en el caso de n
umeros que no son
cuadrados perfectos.
Dise
ne un aut
omata de Mealy minimal capaz de calcular races cuadradas de n
umeros binarios
positivos con 8 bits enteros, entregando 4 bits fraccionarios (i.e. a la derecha de la coma, en el
caso de los enteros que no son cuadrados perfectos.
10. Un cientfico de la celebre universidad MSFTU, miembro del equipo de investigacion del proyecto
FONDECYT de comunicaci
on con inteligencias extra-terrestres de las epocas tempranas del universo
que, como es de p
ublico conocimiento, pronto visitaran este rincon de la galaxia ha dise
nado un
arreglo triangular de leds monocrom
aticos con el proposito de establecer las primeras comunicaciones
con los visitantes del espacio exterior.
Cada uno de los leds, de forma circular y de 25,4 milmetros de diametro, tiene solo dos estados
posibles: iluminado, o bien apagado.
El arreglo, que tiene la forma de un tri
angulo equilatero con base horizontal y c
uspide en la vertical
que dimidia la base, tiene 10 leds, numerados seg
un el esquema top-down left-right estandard, de
modo que el led de la c
uspide lleva el n
umero 0; el led del vertice inferior izquierdo, el n
umero 6; y
el led del vertice inferior derecho, el n
umero 9.
La idea es representar en el arreglo de leds, algunos patterns que, se cree, pueden llamar la atenci
on
de los visitantes.
En la primera serie de patterns los leds iluminados simult
aneamente son:
ninguno, 6-7-8-9, 3-4-5, 1-2, 0.
En la segunda serie los patterns son:
ninguno, 1, 1-7, 1-7-3, 1-7-3-2, 1-7-3-2-0, 1-7-3-2-0-5.
En la tercera serie los patterns son:
ninguno, 6, 6-3, 6-3-1, 6-3-1-0, 6-3-1-0-2, 6-3-1-0-2-5, 6-3-1-0-2-5-9, 6-3-1-0-2-5-9-8, 6-3-1-0-2-59-8-7.
El arreglo de leds est
a controlado por un automata de Mealy con una entrada que tiene dos smbolos,
F y B. Mientras el smbolo de entrada es F , la secuencia de cada serie de patterns se lee de izquierda
a derecha, pero si el smbolo de entrada es B, la secuencia se invierte y la serie se lee de derecha a
izquierda.
Nota. El lector agudo se servir
a excusar el prosaico antropomorfismo implcito en el p
arrafo precedente, pues los visitantes distinguen varias dimensiones adicionales de lectura en su para nosotros,
simples terrestres complicado lenguaje.
Dise
ne Ud. aut
omatas de Mealy minimales que permitan controlar el arreglo triangular, seg
un los
requerimientos planteados.
11. Dise
ne un aut
omata de Mealy minimal capaz de detectar cuadrados perfectos en secuencias de
enteros positivos expresados en base 3. Cada entero positivo considerado se representa mediante un

tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

string de a lo m
as 5 trits (los smbolos 0,1,2), precedidos por un smbolo I de inicio y un smbolo
T de termino del string.
12. Dise
ne un aut
omata de Mealy minimal que retarde un pulso de reloj una sucesion de entradas
ternarias, esto es, que utiliza los smbolos 0,1,2.
Idem, pero que retarde dos pulsos de reloj.
13. Considere el NDFA M = (Q, , , q0 , F ) definido por: Q = {p, q, r, s, t, u, v}, = {0, 1, 2},
q0 = p, F = {v}, y:

p
q
r
s
t
u
v

r, s
t, p

q, t
r, s
q, u

u
v

s, q

q
s
r

(a) Determine (p, 1122), (p, 021202), (p, 120200), (p, 200), (p, 0102). Note que al comienzo, al
final y entre dos smbolos consecutivos cualesquiera de las cadenas precedentes puede haber
subcadenas de .
(b) Determine el aut
omata finito mnimo equivalente.
(c) Compruebe que las palabras aceptadas por el automata original y el automata minimal son las
mismas.
(d) Determine el lenguaje aceptado por el automata.
14. Dise
ne un FA minimal que acepte el lenguaje cb + aa .
15. Es regular el lenguaje {3p 7q : p, q primos} 3 7 ?
16. Sea L un lenguaje regular sobre alg
un alfabeto .
(a) Es regular el lenguaje L1 que consiste de todas las cadenas w L de largo 100 ?
(b) Es regular el lenguaje L1 que consiste de todas las cadenas w L de largo > 100 ?
En ambos casos justifique su respuesta.
17. Dada una cadena w, su reversa wR se define inductivamente mediante: (i) R = , y (ii)
(ua)R = auR , para todo a , u .
Demuestre (o refute): (wR )R = w para todo w .


18. Sea un alfabeto dado. Si L es cualquier lenguaje sobre , sea LR = wR : w L el
R
R
R R
lenguaje reverso de L. Demuestre (o refute): (a) (L1 L2 )R = LR
1 L2 ; (b) (L1 L2 ) = L2 L1 ; (c)

(L )R = LR .
19. Sea D = (Q, , , q0 , F ) un DFA. Definamos la funci
on de transici
on extendida : Q Q
mediante
(p, ) = p ,
(p, au) = ((p, a), u) , u , a .
(a) Es esta una definici
on v
alida (i.e., consistente)? Justifique su respuesta.
(b) Demuestre (o refute): (p, uv) = ( (p, u), v) para todo p Q y u, v .
20. Escriba un programa que tenga como entrada un DFA D = (Q, , , q0 , F ) y una cadena w, y
que retorne la sucesi
on de estados que el automata debe recorrer (partiendo desde el estado inicial
q0 ) para identificar la cadena w. El programa tamben debe indicar si la cadena fue aceptada o no por
tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

el automata. Puede suponer que los smbolos de entrada a1 , . . . , aN son codificados internamente
como los enteros 1, . . . , N , y que los estados q0 , q1 , . . . , qm son codificados mediante los enteros
1, 2, . . . , m + 1. La funci
on de transici
on puede ser codificada como un arreglo bidimensional, o como
una lista de listas. No olvide los estados finales, y trate que la salida sea agradable. Ejecute su
programa en a lo menos dos DFAs y cinco cadena por DFA.
21. Construya un DFA para cada uno de los siguientes lenguajes:
(a) L1 = {w {a, b} : abab es una subcadena de w} . Puede usar su DFA que acepta L1 para
contar cuantas veces aparece la subcadena abab en las cadenas w L1 ?
(b) L2 = {w {a, b} : |w|a , |w|b 2N} , donde 2N = {2, 4, 6, . . . } = el conjunto de los enteros
positivos pares, |w|a := el n
umero de as que tiene w, |w|b := el n
umero de bs que tiene w, w L2 .
22. (i) Construya un DFA para el lenguaje {aa, aaaaa} .
(ii) Sea L {a} . Demuestre o refute: si L = L , entonces existe un subconjunto finito F de L tal
que L = F . Hint: Considere un subconjunto apropiado de L constitudo por cadenas mnimales.
(iii) De un ejemplo de un lenguaje L {a, b} tal que L = L para el cual no existe un subconjunto
finito F L tal que L = F .
23. Sean y dos alfabetos finitos no vacos cualesquiera. Un homomorfismo h de en es
una funcion h : tal que h(uv) = h(u)h(v) para todo u, v . Demuestre o refute:
(a) Si h : es un homomorfismo, entonces h() = .
(b) Si = {a1 , . . . , am } y (v1 , . . . , vm ) es cualquier sucesion de cadenas vi , 1 i m, entonces
existe un u
nico homomorfismo h : tal que h(ai ) = vi para todo i = 1, 2, . . . , m .
(c) Sea = {1, 2, . . . , m}. Dadas dos sucesiones cualesquiera U = (ui , . . . , um ) y V = (u1 , . . . , vm )
de cadenas ui , vi , entonces existen u
nicos homomorfismos f : y g : tales
que f (i) = ui y g(i) = vi para todo i = 1, 2, . . . m .
Si f (w) = g(w) para alguna cadena w , se dice que el problema correspondencia para U y V
tienen soluci
on w. Decidir si el problema de correspondencia para U y V tiene solucion o no es, en
general, un problema muy difcil.
Muestre dos sucesiones U y V para las cuales el problema de correspondencia no tiene soluci
on.
Muestre dos sucesiones U y V para las cuales el problema de correspondencia tiene solucion.
Sea U = (aab, ab, ab, ba) y V = (a, abb, bab, aab). Encuentre una solucion para el problema de correspondencia. Advertencia: La soluci
on mas corta tiene un largo de 66.
24. Sean M = (Q, , , q0 , F ) y L , respectivamente, un DFA y un lenguaje no vaco cualquiera. Considere las relaciones RM , RL y definidas en clases.
(a) Es RM una relaci
on de equivalencia sobre ?
(b) Es RL una relaci
on de equivalencia sobre ?
(c) Es una relaci
on de equivalencia sobre Q?
e de los estados accesibles de M . Cuando el lenguaje
Suponga ahora que Q coincide con el conjunto Q
L es aceptado por el DFA M , i.e., cuando L = L(M ) , se definio una funcion : (Q/ )
( /RL ) mediante:
([q] ) := [u]RL , [q] (Q/ ) ,
donde u es tal que (q0 , u).
e?
(d) Como se define formalmente el conjunto Q
e
(e) Que objeto tiene introducir el conjunto Q?
(f) Es consistente la definici
on de ?
(g) Es una biyecci
on?
tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

(h) Como se relaciona la funci

on con el proceso de minimizacion resultante del teorema de
Myhill-Nerode?
25. (a) Construya un NFA que acepte el lenguaje denotado por (ab + aab + aba) .
(b) Convierta el NFA construdo en (a) en un DFA.
(c) Es minimal el DFA obtenido en (b)? Si no lo es, minimcelo aplicando el teorema de MyhillNerode.
26. Sea = {0, 1, c} un alfabeto dado.
(a) Construya un DFA que acepte el lenguaje
L = {u1 cu2 cu3 c . . . cum1 cum : m 1 , ui {00, 01, 10, 11}} .
(b) Es minimal el DFA obtenido en (b)? Si no lo es, minimcelo aplicando el teorema de MyhillNerode.
27. (a) Es regular el lenguaje L = {ww : w {a, b} } ?
(b) Es regular el lenguaje L = {an : n es un n
umero primo } ?

(c) Determine las clases de equivalencia de = {a} con respecto a la relacion RL inducida por el
lenguaje L definido en (b).
28. (a) Sea = {a, b} y u = u1 u2 . . . un , n 1, una palabra fija dada. Es regular el lenguaje
Lu = {w : u es una subcadena de w } ?


(b) Es regular el lenguaje L = a[log n] : n N , donde [x] = parte entera de x?
(c) Determine las clases de equivalencia de = {a} con respecto a la relacion RL inducida por el
lenguaje L definido en (b).
29. Sea = {0, 1, +, =} y considere el lenguaje:
SUMA := {z = x + y : x, y, z son enteros binarios z es la suma aritmetica de x e y } .
Es regular el conjunto SUMA ? Si es regular, construya un DFA minimal que lo acepte. Si no es
regular examine la posibilidad de generarlo mediante una CFG.
30. Sea = {0, 1}. Construya un DFA que reconozca el lenguaje
L = {w : w contiene la subcadena 101 exactamente dos veces} .
Note que puede haber traslapos.
31. Sea un alfabeto finito dado y W := {w1 , w2 , . . . , wn }, n N, un conjunto de cadenas finitas en
. Usando propiedades de los conjuntos regulares, demuestre que los lenguajes de la forma general
{x : x contiene a lo m
as una de las cadenas wi W } , son regulares.
32. Suponiendo que no hay lmite en el largo de cada componente, escriba una expresion regular
que represente nombres de archivos Unix tales como:
/usr/users/Profesor/Sources/y.tab.h o bien

TMP/ethertools-1.37.tar.Z

33. Determine las clases de equivalencia del teorema de MyhillNerode para el lenguaje L =
{0n 1n : n N0 }.
34. Sea un alfabeto finito no vaco. El operador de inversi
on R : se define mediante:
w = a1 a2 . . . an 7 wR = an an1 . . . a1 ,

ak

(1 k n) ,

n N.

Este operador se extiende de la manera obvia a lenguajes L . Sea = {a, b} . Determine si los
siguientes lenguajes sobre son o no regulares:


(a) L1 = w : w = wR .
tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

(b) L2 = {a1 a3 a4 . . . a2n : a1 a2 a3 a4 . . . a2n a2n+1 L} , donde L es un lenguaje regular.

Amplificaci
on: (c) Encuentre palndromos y frases palindromicas con significados aceptables (busque
no solo en Castellano!).
Nota: Las cadenas w tales que w = wR se llaman palndromos. Del griego , de nuevo, y
oo, carrera. Un palndromo es una palabra o frase que se lee igual de izquierda a derecha, que
de derecha a izquierda, por ejemplo: anilina, d
abale arroz a la zorra el abad , etc.
35. Encuentre las clases de equivalencia del teorema de Myhill-Nerode para el lenguaje denotado
por la expresi
on regular a b(a|b) . Que puede decir acerca del correspondiente DFA mnimo a la
luz de sus resultados?
36. Demuestre (o refute) la proposici
on: LR es regular si y s
olo si L es regular. Hint: Considere
un DFA que acepta L.


37. Determine si el lenguaje denotado por L = an b2n c3n : n N es regular o de contexto libre.
Justifique sus respuestas.
38. Demuestre que todo CFL es generado por una gramatica con producciones de las formas A a
y A ab , con a, b T y N , donde T denota el conjunto de los smbolos terminales y N el
conjunto de los smbolos no terminales o variables.


39. Construya un PDA que reconozca el lenguaje L = an b2n : n 1 . Es determinista su PDA?
40. Encuentre las clases de equivalencia de la relacion de equivalencia RL , definida por el lenguaje
L = {an b2n : n 1}. Que conclusiones puede extraer de su resultado?
41. Sea = {a, b} y defina:
L = {w : w contiene exactamente una vez cada una de las cadenas aba y bab} .
Demuestre (o refute) que L es regular. Hint: No olvide el caso en que las cadenas dadas se traslapan.


42. Determine las clases de equivalencia de RL para L = an! : 0 .
43. Encuentre el DFA mnimo para el lenguaje sobre = {a, b} formado por las cadenas que
contienen exactamente una vez la subcadena abb.
44. Convengamos en que un nombre es cualquier palabra de a lo menos una letra que comienza con
una letra may
uscula. Ejm.: U, John, Jeffrey, etc.
Analogamente, convengamos en que un apellido es una palabra similar a un nombre (i.e., que tambien
comienza con una letra may
uscula) o bien es una palabra similar a un nombre precedida por una o
mas palabras que comienzan todas con min
usculas. Ejm.: Ng, Hopcroft, Ullman, de la Cuesta, etc.
Encuentre una expresion regular para el nombre de una persona, formado por uno o dos nombres
seguidos por un apellido. Para estos efectos, suponga el alfabeto = {A, a, b}, donde A representa
una letra may
uscula, a representa una letra min
uscula y b representa un espacio.
45. Determine cu
ales de los siguientes lenguajes son regulares. Justifique sus respuestas.
n 3
o
(a) L1 = an : n 1 .
(b) L2 = conjunto de las palabras aceptadas por la Real Academia Espa
nola.
(c) L3 = conjunto de las cadenas sobre {a, b, c} que contienen la subcadena aba exactamente una
vez.
46. Considere el lenguaje L sobre = {a, b} formado por las cadenas que no contienen tres as
consecutivas. Encuentre las clases de equivalencia de la relacion RL . Es L regular? En caso de serlo,
cual es el DFA mnimo para L ?
tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa

Luis Salinas et al, UTFSM, I. Sem. 2010

47. Construya un NFA que reconozca el lenguaje denotado por la expresion regular (a |ba) aba .
48. Construya un DFA que reconozca el lenguaje aceptado por el NFA dado por la tabla siguiente:
Q\

a
b
Nota
0
{1, 2}

Estado inicial
1

{1} {1, 3}
2
{4}
{3}

{4, 6}

{3, 5} Estado final

5
{3}

{3, 5}

Estado final
49. Explique en que forma, a partir del teorema de Myhill-Nerode resulta la existencia de un DFA
minimal, en cuanto al n
umero de estados, para cada lenguaje regular.
Referencias
[1] Ralph P. Grimaldi. Discrete and Combinatorial Mathematics. An Applied Introduction. AddisonWesley,
Reading, Massachusetts, 1985.

LSC/lsc, Valparaso, 11 de abril de 2010

tica Teo
rica/11 de abril de 2010
Luis Salinas/UTFSM/Informa