Está en la página 1de 3

Ejercicios (AF y ER): 1.- Para cada caso siguiente decida si ambos autmatas aceptan el mismo lenguaje.

Justifique en caso negativo y en caso afirmativo indique la expresin regular correspondiente: (a


q0 q1 q0 a,b q1

b b q1

a b q0 a a

b q1

(b

q0

!.- "onstruya un #$ que recono%ca y una &xpresin 'egular que denote al lenguaje formado por el alfabeto binario y cuyas cadenas terminan con 1 y no contiene la subcadena ((. ).- *btenga un #$+ que acepte las cadenas del alfabeto ,(-1. que tengan ! ceros separados por una cadena cuya longitud es )i para alg/n i01 ( y luego usando el algoritmo visto en clase convierta este autmata en un #$2. "orra el #$2 para la cadena 1(11(( 3. &ncuentre la interseccin de los lenguajes regulares 4( E1 5 4(E2 denotados por las siguientes &xpresiones 'egulares: E1 1 (( 6 17 E2 1 ((7 6 1 8. 2efina un autmata de estados finitos y la expresin regular que recono%can los siguientes lenguajes sobre 9 1 ,(- 1.: a el lenguaje de todas las palabras que empie%an con (11(b el lenguaje de todas las palabras que terminan con 11(c el lenguaje de todas las palabras que empie%an con (11 o terminan con 11(d el lenguaje de todas las palabras que contienen la subpalabra 1((1(e el lenguaje de todas las palabras que contienen la subpalabra (1 y la subpalabra 1(f el lenguaje de todas las palabras que no contienen a la subpalabra (1g el lenguaje de todas las palabras que no contienen ni la subpalabra (( ni la subpalabra 11: el lenguaje de todas las palabras que tienen un n/mero impar de (s y un n/mero par de 1si el lenguaje de todas las palabras que- interpretadas como n/meros binarios- son divisibles por )-

j el lenguaje de todas las palabras en que cada ( es inmediatamente precedido e inmediatamente seguido por un 1. ;. "onstruir un #$2 equivalente a los siguientes autmatas : a <1 1 (,p-q-r-s.- ,(-1.- =- p- ,s. donde = est> dada por : p q r *s 0 ,p- q. ,r. ,s. ,s. 1 ,p. ,r. ,. ,s.

b <! 1 (,p-q-r-s.-,(-1.- =- p-,q-s. donde = est> dada por: p *q r *s 0 ,q- s. ,r. ,s. ,. 1 ,q. ,q-r. ,p. ,p.

?. 2ado el siguiente #$+-@ E- aplicando el procedimiento de construccin de subconjunto- convertir a un #$2 E = (Q, , , p, F) A 1 , p- q- r . 9 1 , a- b- c . $1,r. p q * r B ,p. ,q. a ,p. ,q. ,r. b ,q. ,r. B c ,r. B ,p.

C. *btener a partir de los siguientes #$+2-@- un #$2 equivalente. a <1 1 ( ,q(-q1-q!-q)-q3.- ,a-b.- =- q(- , q3 . donde = est> dada por: q0 q1 q2 q3 q a ,q1-q!. ,. ,q3. ,. ,. b ,q1-q). ,. ,. ,q3. ,. @ ,. ,q). ,. ,. ,.

b <! 1 ( ,q(-q1-q!-q). - ,a-b-c. - = - q( - ,q). donde = est> dada por :

q0 q1 q2 q3

a ,q(-q1. ,. ,. ,.

b ,. ,q1-q). ,q!. ,.

c ,. ,. ,. ,q).

@ ,q!. ,. ,q). ,.

1(. 2iseDar los #$+- @ que acepten los siguientes lenguajes: a (ab 6 b 7- sobre 9 1 ,a- b. b a(a 6 c 7a7- sobre 9 1 ,a- b- c. c ab7 6 ba7 6 b(ab 6 ba 7- sobre 9 1 ,a- b. d ab7ba7b(ab 6 ba 7- sobre 9 1 ,a- b. e (a 6 aba 6 bb 7a7(ab 6 ba 7- sobre 9 1 ,a- b. 11. 2escriba que tipo de cadenas tienen las siguientes expresiones regulares y construya los autmatas reconocedores de estos lenguajes: a 17( b 17((7 c 111 6 ((1 d (1 6 (( 7 e (((71 7 f (( 6 1 (( 6 1 7((