gica y algoritmos Lo

2007

PRACTICA 7: Expresiones regulares y aut omatas.

Ra ul Kantor Ana Casali Federico Olmedo Federico S. Guimpel Dante Zanarini

1. Describa el contenido de cada uno de estos lenguajes en el caso que sean innitos, y elabore una lista exhaustiva de las cadenas que contienen si son nitos. a ) (x (y z )) b ) (x (y z )) c ) ((x y ) x) d ) (z y ) e ) (y y ) f ) (x y ) g ) ((x x) z )) h ) ((z y ) x) i ) (z y ) x j ) ((x x ) y y ) k ) ((x x ) (y y )) l ) ((x y ) z ) 2. Escriba expresiones regulares que describan los siguientes lenguajes. a ) Todas las cadenas que consisten en un n umero impar de x. b ) Todas las cadenas que consisten en un n umero impar de x y un n umero par de y . c ) Todas las cadenas de x e y tales que cada y se encuentre entre un par de x. 3. Encuentre una expresi on regular que represente la intersecci on 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 )) d ) ((x y ) (x )) y ((x y ) (x y ) ) 4. Encuentre un aut omata nito para cada lenguaje denido sobre el alfabeto {0, 1} a ) {00} b ) {0, 1010, 110, 001} c ) {cadenas que empiezan y acaban en 1} d ) {cadenas que tienen al menos dos ceros seguidos} 1

 gica y algoritmos Lo

2007

e ) {cadenas que acaben en 00 o bien en 11} f ) {cadenas con al menos dos s mbolos consecutivos iguales} g ) {cadenas que no tengan dos s mbolos consecutivos iguales} h ) {cadenas que empiezan por 1 y acaban en 11} i ) {cadenas que no contienen la subcadena 011} j ) {cadenas con un numero par de ceros} k ) {cadenas con un numero impar de unos y par de ceros} l ) {cadenas que representen en binario n umeros enteros m ultiplos de 3} 5. Dibuje un diagrama de transiciones que acepte la concatenaci on del lenguaje aceptado por
b a

seguido por el lenguaje aceptado por

x y y

6. Dibuje un diagrama de transiciones que acepte la uni on de los lenguajes aceptados por los siguientes diagramas.
a

b x

7. Dado el alfabeto S={a, b, c}, encuentre un AFD cuyo lenguaje aceptado sea: a ) {cadenas con un n umero de b que sea m ultiplo de 3 y no empiecen por a} b ) {cadenas que tengan a lo sumo dos b consecutivas pero que no acaben en c} c ) {cadenas con un n umero par de a e impar de b} d ) {cadenas que acaben en c} 2

 gica y algoritmos Lo

2007

e ) {cadenas con un n umero par de a, impar de b y que acaben en c} 8. Dibuje un diagrama de transiciones que acepte la estrella de Kleene del lenguaje aceptado por el siguiente diagrama.
a c

9. Construya una expresi on regular que describa el lenguaje aceptado por el siguiente diagrama de transici on.
b