Trabajo VIII

Semestre A2005

Problemas

Problemas de Lenguajes y Autmatas

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 a b

a b ) Una expresin regular para este lenguaje es: b ab (ab ab ) . El diagrama de transicin de un Autmata Finito es: b a b

a c ) Una expresin regular para este lenguaje es: b (ab ab a) . El diagrama de transicin de un Autmata Finito es: b a b a b

Matemticas Discreta

Prof. Jos Luis Chacn

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 b a b

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 a a

1. Hallar un autmata nito que acepte el lenguaje dado a ) L = {w| w contiene un nmero impar de a s y un nmero par de b s} b ) L = {w| w contiene un nmero par de a s y un nmero par de b s} c ) L = {w| w contiene un nmero impar de a s y un nmero impar de b s} d ) L = {w| w contiene un ab o ba como subpalabras} e ) L = {w| w contiene un ab y ba como subpalabras} f ) L = {w| w contiene un ab ba como subpalabras, pero no ambas} 2. Solucin a ) Un diagrama de transicin del autmata nito es:

Matemticas Discreta

Prof. Jos Luis Chacn

Pensar y actuar

Trabajo VIII

Semestre A2005

Problemas

a a

b a

a b ) Cambiando el estado de aceptacin del autmata representado arriba obtenemos el autmata: a a

b a

c ) De nuevo cambiando el estado de aceptacin obtenemos el autmata correspondiente

a a

b a

d ) A continuacin un diagrama de transicin de un autmata nito determinista que acepta el lenguaje cuyas palabras contienen las subpalabras ab o ba o ambas Matemticas Discreta Prof. Jos Luis Chacn Pensar y actuar

Trabajo VIII

Semestre A2005

Problemas

a b a b a b b

e ) Este autmata acepta las palabras que contienen las subpalabras ab y ba a b a b a b a a a, b b b

f ) Este autmata acepta las palabras que contienen las subpalabras ab ba, pero no ambas a b a b a b a a a, b b 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

2. Hallar todos los pares de conjuntos de palabras A y B para los que AB = {10, 111, 1010, 10111, 101000} Matemticas Discreta Prof. Jos Luis Chacn Pensar y actuar

Trabajo VIII

Semestre A2005

Problemas

3. Describa los elementos del conjunto A para los valores de A siguientes: a) {ab} b) {aaa} c) {a, ab} d) {a, aba}

4. Determine si la palabra aaaba est o no encada uno de los siguientes conjuntos: a) d) (a b) (aa) (ba) b) a b a e) (aaa) b a c) aaa ba f ) (aaa bbb)(bb ba)

5. Dado el siguiente diagrama de transicin

a b a, b a

i) Determinar las cadenas que son aceptadas o no por el autmata a) bab b) aaba b) aa e) a b c) aaaaaab d) babababab c) ab f ) a(a b) c) xy + x f ) (x y )(yx yxy )

ii) Determinar si los lenguajes dados son aceptados o no por el autmata a) (a) d) (ab)

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)

7. De los lenguajes descritos por las expresiones regulares sobre el alfabeto = {x, y, z }Cules son innitos? Describa en una oracin los lenguajes innitos y haga una lista exhaustiva de los lenguajes nitos a) (x(yz )) c) ((z y )x) e) (yy ) g) ((xx) z ) b) (x (yz )) d) (z y ) f ) (x y ) h) ((z y ) x)

8. Dibuje un diagrama de transicin que acepte la cerradura de Kleene del lenguaje aceptado por el siguiente diagrama a c

Matemticas Discreta

Prof. Jos Luis Chacn

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 a a a

10. Dibuje el diagrama de transicin que acepte la concatenacin de los lenguajes aceptados por los diagramas siguientes a a b b b a

11. Construir una expresin regular que describa el lenguaje aceptado por cada uno de los siguientes diagramas de transicin b a 1. b b a b a a

Matemticas Discreta

Prof. Jos Luis Chacn

Pensar y actuar

Trabajo VIII

Semestre A2005

Problemas

2.

a, b

a, b

3.

b 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 )

14. Escriba la expresin regular de los siguientes lenguajes sobre = {a, b} a ) Todas las palabras tienen un nmero mltiplo de 4 de a s. b ) Todas las palabras tienen un nmero par de a s y un nmero impar de b s c ) Todas las palabras no tienen tres a s consecutivas. d ) Todas las palabras no tienen tres b s consecutivas y toda a est entre dos b s.

Matemticas Discreta

Prof. Jos Luis Chacn

Pensar y actuar

Trabajo VIII

Semestre A2005

Problemas

15. Construir autmatas nitos que acepten los lenguajes de la pregunta anterior. Daremos un ejemplo de un autmata nito determinista que acepta el lenguaje L {0, 1}, denido L = {w {0, 1} : el nmero de 0 s es par y el nmero de 1 s es mltiplo de 3}

1 0 0 1 1 1 1 0 0 0 0 1

Matemticas Discreta

Prof. Jos Luis Chacn

Pensar y actuar