You are on page 1of 15

Dpto. de Informtica (ATC, CCIA y LSI). Universidad de Valladolid.

TEORA DE AUTMATAS Y LENGUAJES FORMALES I


Ingeniera Tcnica en Informtica de Sistemas. Curso 2011-12.

AUTMATAS FINITOS y LENGUAJES REGULARES
1
1. Sean A y B dos lenguajes definidos sobre el mismo alfabeto . Considrese las
partes de cada uno de ellos, P(A) y P(B) respectivamente, como el conjunto de todos
sus subconjuntos. Son ciertos, entonces, estos resultados?
a) ) ( ) ( ) ( B A P B P A P =
b)
) ( ) ( ) ( B A P B P A P =
(julio 2005)
2. Sean L
1
, L
2
y L
3
tres lenguajes formales, a partir de los cuales se forma L y L
como:
3 1 2 1
3 2 1
"
) ( '
L L L L L
L L L L
=
=

Comprubese si son iguales. Si la respuesta es negativa, estdiese la inclusin en
ambos sentidos, esto es: " ' L L _ ? ' " L L _ ? (julio 2007)
3. Encontrar el autmata finito determinista mnimo que reconozca el siguiente
lenguaje: L R a b a b a b ( ) * * * = (febrero 1996)
4. Demostrar las siguientes igualdades entre expresiones regulares:
( ) * ( ) * o | o o | o =
( * ) * * ( ) * o | o o | = (febrero 1996)
5. Dado un lenguaje L regular definido sobe un alfabeto E, demostrar que su
complementario es regular. Obtener, a partir del RFD que acepta a L, el que
reconoce a su complementario. (junio 1996)
6. Obtener el reconocedor finito no determinista (RFN) que acepte el lenguaje formado
por aquellas cadenas de ceros y unos, tales que el tercer smbolo por la derecha sea
un cero. Igualmente, calcular el reconocedor finito determinista (RFD) mnimo
asociado a dicho lenguaje. (junio 1996)
7. Demostrar que si L
1
y L
2
son lenguajes regulares definidos sobre un mismo alfabeto,
entonces L=L
1
L
2
tambin lo es. Apoyndose en este resultado probar que dado
un cierto lenguaje L sobre un alfabeto E, si L es regular, entonces las cadenas de L
con longitud par forman un lenguaje regular. (septiembre 1996)
8. Obtener el reconocedor finito determinista (RFD) mnimo para el lenguaje
L R c a bc ( ) ( / )
* * *
= . (septiembre 1996)
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
2
9. Encontrar tres lenguajes A, B y C que cumplan: A(B-C)= AB-AC. Justificar la
respuesta. (enero1997)
10. Obtener la expresin regular de los lenguajes definidos por los siguientes conjuntos:
* *
) | ( ) | ( b a b a
b b a b a a
* *
) | ( ) | (
* *
) | ( ) | ( ) | ( b a b b a b b a
*
) | )( | ( ) | )( | ( b a b a a b a | (septiembre 1997)
11. Encontrar la expresin ms compacta que defina al lenguaje reconocido por el
siguiente autmata finito determinista.
A B C
E D
a
a
b
b
b
a
a,b
a,b
(septiembre 1997)
12. Demostrar que las cadenas de dgitos que representan en decimal a los naturales
divisibles por dos, incluido el cero, forman un lenguaje regular. (febrero 1998)
13. Probar si las siguientes expresiones regulares son equivalentes o no.
* * *
) / ( / ) ( b a c ba a
a ab a b a c
* * * *
) /( ) ( (junio 1998)
14. En la siguiente figura se representan dos autmatas finitos A1 y A2, que aceptarn
sendos lenguajes L1 y L2. Hallar:
a b
a
a
b
b
A1:



a) Los lenguajes L1 y L2
b) El reconocedor finito determinista mnimo que reconozca la unin de los
lenguajes L1 y L2. (Septiembre 1998)
a
a
b
b
b
A2:
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
3
15. Demostrar que si L es un lenguaje regular, entonces L'={weL / w
I
eL} es un
lenguaje regular tambin. (enero 1999)
16. Sea L un lenguaje regular definido sobre un alfabeto E, a partir del cual se construye
L' como:
{ } L x w w x w w L x x L e E e - e = '
1 2 1 2
*
2 1 2 1
, ,
Demostrar que este lenguaje L' es regular. (febrero 1999)
17. Obtener la expresin regular ms simple posible del lenguaje complementario del
que reconoce el siguiente RFN:
b
a,
b
b
b,
b
b

b
a
(junio 1999)
18. Sea
+ +
= b a L
1
. Construir un reconocedor finito determinista mnimo para este
lenguaje. (septiembre 1999)
19. Si x es una palabra cualquiera, se denota por ss(x) al conjunto de cadenas obtenido
mediante la eliminacin de un nmero arbitrario, incluido el cero, de smbolos de
dicha palabra x. Asimismo, si L es un lenguaje, { } L x x ss L ss e = ) ( ) ( , calcular:
{ } ( ) 3 s e
+ +
x b a x ss
( )
+ +
b a ss
20. Demostrar que si L es un lenguaje regular, entonces ss(L) es un lenguaje regular.
21. Demostrar que si ss(L) es regular, en general, L no necesariamente es regular.
22. Hallar ( ) ( ) b ba a a ss
*
(septiembre 1999)
23. Demostrar que si un lenguaje regular contiene cadenas de la forma
n n
b a , donde n es
un nmero arbitrariamente grande, entonces deben pertenecer a dicho lenguaje
cadenas de la forma { } n m b a
n m
> / . Para no dar lugar a equvocos, conviene aclarar
que la expresin anterior no es para todo m, sino para algnos m. (enero 2000)
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
4
24. Dado un lenguaje regular L construido sobre un alfabeto E, demostrar que los
siguientes lenguajes obtenidos a partir del citado L son regulares:
{ }
* *
, / ) ( E e e E e = z y L yxz x L C
{ } ) ( ) ( / ) (
* +
E e . e = E e = y L x xy z z L F
{ } ) ( ) ( / ) (
* +
E e . e = E e = y L x yx z z L M (febrero 2000)
25. Obtener la expresin regular ms simple que represente al complementario del
conjunto de cadenas dado por ( ) a b ab
*
/ . (febrero 2000)
26. Sea el RFN definido por:
{ } b a, = E { }
2 1
, q q Q = { }
1
q F =
{ } ) , ( , ) , (
2 2 1 1
b q f q q a q f = = { }
2 1
) , ( q b q f = | = ) , (
2
a q f

Obtener:
a) La expresin regular ms simple que se deriva de analizar el RFN.
b) El RFD mnimo.
c) La expresin regular ms simple obtenida del anlisis del RFD mnimo.
(septiembre 2000)
27. Sea un reconocedor finito determinista con n estados, un solo estado final y capaz
de reconocer, al menos, una cadena de longitud estrictamente menor que n-1; se
podra concluir, entonces, que el lenguaje aceptado por este autmata es infinito?
Justifquese la respuesta. (enero 2001)
28. Para cada una de las siguientes relaciones, dar un ejemplo, si es posible, de
lenguajes construidos sobre el alfabeto = {a, b} que la cumplan.
i) L L+ L*
ii) L = L+ L*
iii) L L+ = L*
iv) L = L+ = L*
En el supuesto caso de que no sea factible poner un ejemplo, justifquese este
hecho. (enero 2001)
29. Demustrese que existe un algoritmo (n finito de pasos) para saber si dos RFD
son equivalentes o no. Para no inducir a errores, conviene aclarar, que no est
demostrado que para un lenguaje regular, el RFD mnimo sea nico.
(febrero 2001)
30. Dado un RFD y dos estados cualesquiera de l q
1
y q
2
, se define el lenguaje que
distingue a q
1
y q
2
, denotado por L(q
1
, q
2
), como el formado por las cadenas, que
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
5
partiendo de q
1
, llegan a un estado final, pero no sucede lo mismo, si lo hacen
desde q
2
y viceversa. Caractercese L(q
1
, q
2
) dentro de la Jerarqua de Lenguajes
de Chomsky. Expngase un mtodo sistemtico para obtener L(q
1
, q
2
) para un
RFD arbitrario. Obtngase el lenguaje L(q
1
, q
3
) en el siguiente RFD:
(septiembre 2001)
a b
q
1
q
2
q
3

q
2
q
3
q
3

q
3
q
2
q
2


31. Sea un alfabeto con el que se forman sendos lenguajes A y E. A partir de ellos
se formula la siguiente ecuacin AX E X = , la cual admite como solucin
E A X
*
= . Prubese que cualquier solucin Y debe contener a E A
*
.
(septiembre 2001)
32. Probar que el lenguaje { }
b a
x x b a x L < e = / ) / (
*
no es regular. (febrero 2002)
33. Demostrar que el lenguaje formado por cadenas de dgitos hexadecimales, que
representan potencias exactas de dos, es regular. (febrero 2002)
34. Obtngase un autmata finito determinista mnimo para reconocer a todas
aquellas palabras, compuestas por las letras {a,b,c}, que contengan a la subcadena
aaa. (septiembre 2002)
35. Comprubese la veracidad de las siguientes igualdades entre expresiones
regulares:
a)
* *
) | ( ) | ( o |o o o o o| =
b)
* * *
) ( * ) | ( | oo | oo o | o| | =
c)
* * *
| ) | ( | o | o = (septiembre 2002)
36. Dado el lenguaje { } N e = = m n m n b a L
m n
, ; / demostrar:
a) L no es regular.
b) Verifica el bombeo del lema (no el lema completo). (febrero 97)
37. Probar que para un autmata finito determinista M con k estados.
a) | = ) (M L si y slo si M acepta una cadena de longitud menor que k.
b) ) (M L es infinito si y solo si M acepta una cadena de longitud n, donde
k n k 2 s s . (febrero 98)
38. Sea M un reconocedor finito determinista de k estados.
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
6
a) Demostrar que si M acepta una cadena de longitud n, con n > k, entonces
L(M) es infinito.
b) Supngase que el lenguaje L es finito y se sabe que a
2045
pertenece a L.
Qu se puede decir acerca del nmero de estados de cualquier reconocedor
finito determinista para L? (septiembre 98)
39. Dado } 1 / ) | | ( {
*
= . = e =
c
I
p
x x x c b a x L , demostrar que no es regular. A
continuacin tmese el siguiente lenguaje } 1 / ) | | ( {
*
= . = e =
c
I
N
x x x c b a x L ,
probar que no es regular, pero verifica el lema de bombeo de los lenguajes
regulares. (septiembre 2000)
40. Dado el autmata finito no determinista:
q
4
q
2
, q
4
q
3
q
3
, q
4
q
2
q
3
, q
4
q
2
, q
4
q
1
b a

Hllese:
a) El reconocedor finito determinista mnimo.
b) El lenguaje generado, pero no su expresin regular, sino la caracterstica
diferenciadora de sus cadenas.
c) La expresin regular de su lenguaje complementario. (Enero 2003)
41. Demustrese } 0 , / {
2
> = n m b b a a L
n m m n
no es regular. (Enero 2003)
42. Un palndromo es una cadena que se lee igual de izquierda a derecha, que de
derecha a izquierda. Para un alfabeto arbitrario, prubese que no es un lenguaje
regular. (Febrero 2003)
43. Considrese el siguiente reconocedor finito determinista:
e = > =< a a q f a q f q f q Q A
f f
) , ( ) , ( / } { , , , ,
0 0

Demustrese que el cierre positivo de cualquier cadena no vaca aceptada por
dicha mquina constituye un subconjunto del lenguaje generado por el autmata.
(Febrero 2003)
44. Dado el alfabeto ={a,b,c}, con el cual se forman los siguientes lenguajes,
indquese justificadamente cules son regulares:
a) Palabras que contienen exactamente tres aes.
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
7
b) Palabras con el nmero de aes igual al de bes menos uno.
c) Palabras con dos bes como mximo.
d) Palabras con una cantidad de aes igual al producto del nmero de bes
por el de ces.
e) Palabras con una c como mnimo. (Julio 2003)
45. Demustrese si son ciertas o no las siguientes igualdades entre expresiones
regulares:
a)
* *
) | ( ) | ( r sr r r r rs =
b)
* * *
) | ( ) | ( y x y x =
c) b b a b a
* * *
) | ( | ) ( =
d)
* *
) | ( ) | ( | bc a bc a a = (Julio 2003)
46. Obtngase justificadamente la expresin regular de los siguientes lenguajes
definidos con del alfabeto ={a, b, c}:
i) Palabras con un nmero impar de as.
ii) Cadenas con un nmero par de as o impar de bs (o ambas).
iii) Palabras de , que de aparecer una b, sta debe ir antecedida por una a y
seguida de una c. (Febrero 2004)
47. Demustrese que el siguiente lenguaje L construido a partir de otro regular L, es
tambin regular.
{ } L a a a a a a a a a a L
n n n
e = '
2 3 2 1 1 2 2 3 4 1 2
/ (Febrero 2004)
48. Sean { } 1 /
1
1
> =
+
n b a L
n n
y { }
b a
w w b a w L = e = / ) | (
*
2
. Es
*
1 1
L L = ?. Es
*
2 2
L L =
? (Julio 2004)
49. Para todo lenguaje formal L se verifica que
* * *
L L L = ? (Julio 2004)
50. Demustrese o reftese la siguiente afirmacin:
Todo subconjunto de un lenguaje regular es un lenguaje regular tambin
(Julio 2004)
51. Constryase el AFD mnimo para el lenguaje
{ } " " " " ) | (
*
bes dos entre est a toda b a w L e = (Enero 2005)
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
8
52. Estdiese la pertenencia a los lenguajes regulares del siguiente conjunto:
{ } ) 1 , ( ) ( > . = = j i j i ba a L
j i
(Enero 2005)
53. Sean A y B dos lenguajes formales y la operacin, denotada por el superndice
I, que da como resultado su inverso o reflejado. Verifquese si se cumplen estas
igualdades:
a)
I I I
B A B A = ) (
b)
I I I
B A B A = ) (
c)
I I
A A = ) (
d)
+ +
= ) ( ) (
I I
A A
e)
* *
) ( ) (
I I
A A = (Febrero 2005)
54. Simplifquense, si es posible, las expresiones regulares que vienen a continuacin:
i)
* * *
) | ( | | | b a b a |
ii)
* * * * * *
) ( ) ( a b b a
iii)
* * * *
) ( | ) ( a b b a
iv)
* *
) | ( ) | ( b a a b a (Febrero 2005)
55. Constryase el AFD mnimo para el complementario del lenguaje:
{ } N e = . + = e = n m n w m w b a w L
b a
, ; 2 1 2 / ) | (
*
(Febrero 2005)
56. Obtngase la expresin regular y el reconocedor finito determinista ms simples
asociados al lenguaje formado por los nmeros naturales expresados en base 4,
cuya ltima cifra no ha aparecido anteriormente. Tenga presente que el lenguaje
no admite cadenas con ceros innecesarios a la izquierda. (Enero 2006)
57. Demustrese que el lenguaje formado por tiras de letras a, cuya longitud es un
nmero primo, no es un lenguaje regular. (Enero 2006)
58. Calclese el autmata finito determinista mnimo, que reconozca el mismo
lenguaje que el siguiente autmata finito no determinista:

Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
9
Q\ 0 1
p {p, q} {p}
q {r, s} {t}
r {p, r} {t}
s
t
(Febrero 2006)
59. Se define la operacin (alt) sobre dos cadenas de idntica longitud (x, y) como:
{ }
n n n n
b b b y a a a x b a b a b a y x alt
2 1 2 1 2 2 1 1
/ ) , ( = = =
Esto se puede extender a lenguajes, de tal manera que:
{ }
2 1 2 1
/ ) , ( ) , ( L y L x y x alt L L alt e e = . Demustrese que si se parte de lenguajes
regulares, el resultado de esta operacin es otro lenguaje regular. (Febrero 2006)
60. A partir del mtodo expuesto para llevar a cabo el anlisis de un autmata finito
determinista (AFD), calclese la expresin regular ms simple de
j
ij
o en funcin
de otras de idntica naturaleza pero de un grado menor (
1 j
hk
o ), es decir, con el
superndice igual a j-1. (Julio 2006)
61. Sea L un lenguaje y a uno de los caracteres del alfabeto con el que se forma L.
Se define el lenguaje cociente de L entre el carcter a, que se denota por, a: L/a
{ } L wa w e = / . Demustrese que este lenguaje as obtenido es regular, si el de
partida (L) lo es. Anlogamente, llguese a la misma conclusin, si la extraccin
del carcter a se hiciera por el extremo izquierdo, lo que se denota por: a\L
{ } L aw w e = / . (Julio 2006)
62. Obtngase la expresin regular y el reconocedor finito determinista ms simples
asociados al lenguaje formado por los nmeros en binario natural que continene al
menos un uno y que de haber varios, estarn separados una cantidad par de
dgitos. Esto incluye a la distancia cero, es decir, puede haber dos unos seguidos.
Tngase presente que el lenguaje no admite cadenas con ceros innecesarios a la
izquierda. Si se ampliase la base del sistema de numeracin a otra con ms
caracteres, podra extenderse la expresin regular y el RFD anteriores a este
nuevo alfabeto? (Enero 2007)
63. Considrese un AFN sin transiciones lambda y con un estado final solamente, al
cual se le aade, precisamente, los siguientes arcos lambda:
a) Del estado final al inicial.
b) Del inicial a cualquier estado alcanzable desde l.
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
10
c) De cualquier estado que pudiera llegar al final, hasta el propio final.
d) Del inicial al final.
Describir el lenguaje asociado al RFN que surgira de aplicar cada caso por
separado en funcin del lenguaje del autmata original. (Enero 2007)
64. Obtngase la expresin regular y el reconocedor finito determinista ms simples
asociados al lenguaje formado por bits, cuya lectura de derecha a izquierda da
como resultado un nmero en binario natural mltiplo de cuatro. Tngase en
cuenta que, a diferencia con otros ejercicios, no hay restriccin con respecto a los
ceros que no contribuyan al valor numrico de la cadena. Asimismo, no pierda de
vista, que la lectura de la entrada sigue siendo de izquierda a derecha.
(Febrero 2007)
65. Considrese una transformacin h de cada carcter de un alfabeto en una tira
concreta de smbolos de otro alfabeto . Esto podra contemplarse como una
aplicacin:
*
: H E h . Si se aplicase esta operacin a una palabra, se tendra otra
aplicacin:
) ( ) ( ) ( ) (
2 1 2 1 n n
a h a h a h w h a a a w = =
Si se extendiese a lenguajes, el resultado sera:
{ } L a a a a h a h a h L h
n n
e =
2 1 2 1
/ ) ( ) ( ) ( ) ( . Demustrese, entonces, que si L es
regular, el resultado de esta operacin es regular. (Febrero 2007)
66. Verifquese el cumplimiento, o no, de la siguiente afirmacin.
Dado un lenguaje regular L, que se puede poner como
2 1
L L L = , entonces L
1
y
L
2
son regulares tambin. (Julio 2007)
67. Obtngase un AFD mnimo para el lenguaje formado por as y bs, tal que sus
cadenas cumplan con la condicin de que toda b debe estar precedida y seguida
por al menos una a. (Julio 2007)
68. Estdiese la relacin de inclusin e igualdad entre los conjuntos representados por
las siguientes expresiones regulares:
a) ( )
*
* *
| | o
b) ( )
*
* *
| o
c) ( )
*
| | o (Enero 2008)
69. Un homomorfismo h aplicado a un alfabeto consiste en transformar a cada uno
de sus caracteres en una cadena, en general, compuesta por smbolos de otro
alfabeto , que ocasionalmente podra coincidir con . Si se aplicase esta
operacin a una palabra, se tendra que:
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
11
*
2 1 2 1
) ( ) ( ) ( ) ( H e =
n n
a h a h a h a a a h ; donde E e
n
a a a , ,
2 1

Extendido a lenguajes sera: { }
*
/ ) ( ) ( H _ e = L w w h L h
La operacin contraria sera llevar a cabo el homomorfismo inverso, esto es:
{ } L w h w L h e E e =

) ( / ) (
* 1
; donde
*
H _ L
Calclese, entonces, el homomorfismo inverso del lenguaje ( )
*
1 | 00 L , sabiendo
que proviene de aplicar la transformacin 01 ) ( = a h y 10 ) ( = b h . El resultado es
un lenguaje regular todava ms sencillo que el de partida, pero, recurdese, que
no basta con dar este dato, si no que hay demostrarlo. (Enero 2008)
70. Constryase el AFD mnimo que reconozca al lenguaje formado a partir del
alfabeto { } b a, = E , que agrupa slo a las palabras que empiezan y terminan por a,
pero que nunca tienen dos bes seguidas. Asimismo, obtnganse dos expresiones
regulares de este lenguaje, lo ms simples posibles, una en la que aparezca el
operador unin, y, otra, en la que no. (Febrero 2008)
71. Se define el operador P sobre un lenguaje L, y se denota por P(L), como aquel que
da como resultado el siguiente conjunto de palabras:
{ } ) 1 ( ); 0 /( ) ( L x y L x y xy L P e = e = = . Verifquese si esta operacin es
cerrada dentro la categora de lenguajes regulares. En caso afirmativo, constryase
un RFN que reconozca a P(L) a partir de un L regular. (Febrero 2008)
72. Sea la clase de lenguajes formales:
L = {I

()

I ]; donde es un determinado alfabeto y I representa a


cualquiera de los elementos de este conjunto.
Verifquese si las operaciones de unin, interseccin, cierre y complemento son
cerradas en la esta clase L. (Julio 2008)
73. Dada la expresin regular (o|b)

ob(o|b)

y el autmata:
a,b
a
a
a
a,b
b

Comprubese si ambos tienen asociado el mismo lenguaje. (Julio 2008)
74. Existe algn lenguaje formal L finito que cumpla que: ( ) ( )
*
* c
c
L L = ? E infinito?
(enero 2009)
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
12
75. Calclese una expresiones regular lo ms simple posible para cada uno de estos
dos lenguajes formados con letras aes y bes solamente:
a) Cadenas que no contienen la subcadena aba.
b) Aquellas palabras que de aparecer una pareja de aes, debe estar
inmediatamente seguida de una pareja de bes. (enero 2009)
76. Dado el lenguaje L = {a, abb, ba, bba, b], calclese todas las palabras de longitud
menor que cuatro pertenecientes a L

. (febrero 2009)
77. Sea la operacin P(x) aplicada a una palabra x (o|b|c)

, que da como
resultado:
i) Eliminacin de todas las aes, si en la cadena original haba un nmero par
de ellas.
ii) Lo mismo con las bes, si la cantidad inicial de las mismas era impar.
Esta operacin es cerrada sobre el conjunto de los lenguajes regulares?
(febrero 2009)
78. Constryase el autmata finito determinista mnimo asociada a la siguiente
expresin regular:
(o|b

|(c|J

(c

|J

)
Si se pudiera, simplifquese esta expresin a su forma ms simple posible.
(febrero 2009)
79. Dado un neH y un alfabeto , se define el conjunto de lenguajes:
L
n
= {I

I
n
]
Es cerrada esta familia respecto de la unin?, la interseccin? o el
complemento? (julio 2009)
80. Comprubese la veracidad de estas igualdades entre expresiones regulares:
b

(ob

= (b|o)

b(oo

= (o|bo)

b
(julio 2009)

Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
13
81. Obtngase un autmata finito determinista mnimo para un lenguaje compuesto
por palabras de con un nmero impar de aes y par de bes simultneamente.
(enero 2010)
82. Obtngase una expresin regular, lo ms simple posible, para cada uno de estos
lenguajes:
I
1
= {:w: :, we(o|b)

, |:| = 2 ]
I
2
= {we(o|b)

w no tcrmino cn "ob "]


83. Calclese el autmata finito determinista mnimo para el lenguaje:
I = {o
n
b
m
m mltiplo Jc S y n por ]
(febrero 2010)
84. Considrese las cadenas dentro del alfabeto = {o, b], cuyo segmento ms largo
de aes es impar. Este conjunto es un lenguaje regular?
85. Sea A el autmata finito de la figura, a cuyo lenguaje se le aplica la siguiente
transformacin: o(o) = b, o(b) = o

. Calclese el autmata finito determinista


mnimo asociado al lenguaje o(I(A)).
1
q
2
q
3
q
a
a a
b
(julio 2010)
86. Dada la familia de lenguajes L

= {I

= I], verifquese si es cerrada


frente a la as operaciones de unin, cierre y concatenacin. (febrero 2011)
87. Sea A el autmata finito de la figura y la expresin regular o = (o|b)

bb.
Obtngase el AFD mnimo para I(o) - I(A).
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
14
1
q
2
q
3
q
a

a
b
(febrero 2011)
88. Se define una operacin P sobre una palabra x (o|b)

, como aquella que


sustituye cada o por oo, si el nmero de bcs es par; por el contrario, si la cantidad
de bcs es impar, las ocs quedan como estaban. Comprubese si esta operacin es
cerrada dentro de los lenguajes regulares. (febrero 2011)
89. Constryase el AFD mnimo que reconozca a la siguiente expresin regular:
(o|b)

((c|J)(o|b)

(c|J)(o|b)

(julio 2011)
90. Dado un AF = , , , q
0
, F, se define un lenguaje asociado a cada estado
como:
I(q) = {x

(q
0
, x) = q], Calclese, entonces:
- I(q)
q

- I(p) I(q) p, q , p = q
En funcin de los resultados anteriores, verifquese si la familia de lenguajes
{I(q)]
q
constituye un recubrimiento o una particin, o ninguna de las dos
cosas. Si fuera el caso, cmo podra constituirse dicha familia de lenguajes en un
conjunto cociente?. Analcese si la unin e interseccin anteriores daran el mismo
resultado sobre un AFD mnimo.
Recuerde que no basta con responder a estas cuestiones escuetamente, sino que
hay que justificarlas adecuadamente, ya que, en caso contrario, no se valorar.
(julio 2011)
Autmatas y Lenguajes Regulares. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
15
91. Sea L
]
la familia de los lenguajes finitos y L
c
la de los cofinitos, que son aquellos
cuyo complementario es finito. Si se fija un mismo alfabeto y dos lenguajes
arbitrarios L
I
y L
c
respectivamente finito y cofinito, justifquese la veracidad o
falsedad de:
a) Todo lenguaje regular
pertenece a L
]
L
c
.
b) L
I
L
c
L
]

c) L
I
L
c
L
c

d) L
c


e) L
c

L
c


(julio 2011)