Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Prob Automat
Prob Automat
Semestre A2005
Problemas
1. Para los lenguajes dados sobre = {a, b} construir una expresin regular de l y un Autmata
Finito que lo acepte:
a) L = {w|w tiene un numero par de a s}
b) L = {w|w tiene un numero impar de a s}
c) L = {w|w tiene un numero mltiplo de 3 de a s}
d ) L = {w| toda a en w est entre dos b s}
e) L = {w| no hay dos a s consecutivas en w}
f ) L = {w| w no contiene la subpalabra aa ni bb}
2. Solucin
a) Una expresin regular que represente el lenguaje L es b (ab ab ) . El diagrama de transicin
de un Autmata Finito es:
b
b
a
a
b) Una expresin regular para este lenguaje es: b ab (ab ab ) . El diagrama de transicin de un
Autmata Finito es:
b
b
a
a
c) Una expresin regular para este lenguaje es: b (ab ab a) . El diagrama de transicin de un
Autmata Finito es:
b
b
a
b
a
Matemticas Discreta
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
d ) Una expresin regular para este lenguaje es: b b+ (ab+ ) . El diagrama de transicin de un
Autmata Finito es:
b
a
e) Una expresin regular para este lenguaje es: b (ab+ ) b a(b+ a) . El diagrama de transicin
de un Autmata Finito es:
b
a
b
f ) Una expresin regular para este lenguaje es: (b + )(ab) (a + )(ba) . El diagrama de
transicin de un Autmata Finito es:
b
b
Matemticas Discreta
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
a
a
a
b) Cambiando el estado de aceptacin del autmata representado arriba obtenemos el autmata:
a
a
a
a
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
b
b
a
a
b
a
b
b
a, b
a
a
f ) Este autmata acepta las palabras que contienen las subpalabras ab ba, pero no ambas
a
b
b
a, b
a
b
Ejercicios
1. Sean A = {0, 11} y B = {00, 01}. Hallar cada uno de estos conjuntos.
a)
AB
b) BA
c) A2
d)
B3
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
b) {aaa}
{ab}
c) {a, ab}
d) {a, aba}
(a b)
(aa) (ba)
b) a b a
e) (aaa) b a
c) aaa ba
f ) (aaa bbb)(bb ba)
a
b
a, b
bab
b)
c) aaaaaab
aaba
d) babababab
b) aa
c) ab
d) (ab)
e) a b
f ) a(a b)
6. Hallar un autmata determinista que reconozca los siguientes lenguajes sobre = {x, y}
a)
d)
xyxxy
x(yx) y
b) {xn : n > 2}
e) (x y)(yx xyx)
c) xy + x
f ) (x y)(yx yxy)
7. De los lenguajes descritos por las expresiones regulares sobre el alfabeto = {x, y, z}Cules son
infinitos? Describa en una oracin los lenguajes infinitos y haga una lista exhaustiva de los lenguajes
finitos
a) (x(yz ))
b) (x (yz))
c) ((z y)x)
e) (yy)
d) (z y)
f ) (x y )
g) ((xx) z)
h) ((z y) x)
8. Dibuje un diagrama de transicin que acepte la cerradura de Kleene del lenguaje aceptado por el
siguiente diagrama
a
Matemticas Discreta
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
9. Dibuje el diagrama de transicin que acepte la unin de los lenguajes aceptados por los diagramas
siguientes
a
10. Dibuje el diagrama de transicin que acepte la concatenacin de los lenguajes aceptados por los
diagramas siguientes
a
a
b
11. Construir una expresin regular que describa el lenguaje aceptado por cada uno de los siguientes
diagramas de transicin
b
a
a
a
1.
b
b
b
a
Matemticas Discreta
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
2.
a, b
a, b
3.
a, b
a, b
12. Encuentre una expresin regular que represente la interseccin de los lenguajes representados por
cada uno de los siguientes pares de expresiones regulares
a) (x y ) y (x y)
b) (x(x y) ) y ((x y) y)
c)
(((x y)y)(x y) )
y (y(x y) y)
13. Describa el lenguaje representado por cada uno de las siguientes expresiones regulares
a. ((z y) x)
c. (((xx ) (yy ))
b. (((xx )(yy ))
d. ((x y )z )
Matemticas Discreta
Pensar y actuar
Trabajo VIII
Semestre A2005
Problemas
15. Construir autmatas finitos que acepten los lenguajes de la pregunta anterior.
Daremos un ejemplo de un autmata finito determinista que acepta el lenguaje L {0, 1}, definido
L = {w {0, 1} : el nmero de 0 s es par y el nmero de 1 s es mltiplo de 3}
1
0
1
0
1
1
Matemticas Discreta
Pensar y actuar