MAC 4722 LINGUAGENS, AUTMATOS E COMPUTABILIDADE Prof. Dr.

Namy Kobayashi

Lista de Exerccios 05

Reginaldo do Prado NUSP: 5224106

Exerccio 1.a

Seja A = {0n 1m 0n: m, n > 0}. Vamos mostrar que A no regular, por contradio, usando o Lema do Bombeamento (LB) . Para isso, vamos supor que A regular. Seja p o inteiro fornecido pelo LB para A. Considere w = 0p 1m 0p. Ento, w A e |w| > p. Logo, o LB garante que existem palavras x, y, e z tais que w = xyz, com y , |xy| p e para cada k 0, xykz A. Como y e |xy| p, existem inteiros r 0 e s > 0 tais que x = 0r, y = 0s e z = 0p-r-s 1m 0p Considere a palavra t = xy2z = 0r (0s)2 0p-r-s 1m 0p = 0p+s 1m 0p Pelo LB, t A. Mas p + s > p, visto que s > 0. Logo t no pode pertencer a A, o que uma contradio. Portanto, A no regular.

Exerccio 1.b Seja B = {w {0, 1}*: w no um palndromo}. Vamos mostrar, por contradio, que B no regular usando o Lema do Bombeamento (LB) , aplicando-o sobre o complemento de B. Vamos supor que B regular, logo o complemento de B, = {u {0, 1}*: u um palndromo} deveria ser regular, pois a classe das linguagens regulares fechada para o complemento. Assim, seja p o inteiro fornecido pelo LB para . Se considerarmos u = 0p 1m 0p, ento, u e |u| > p. Mas j mostramos (Exerccio 1.a) que a linguagem A no pode ser que contm u no regular. Sendo A um subconjunto de , regular, nem seu complemento. Portanto, B no regular.

Exerccio 1.c Seja C = {wtw : w {0, 1}+ }. Vamos mostrar, por contradio, que C no regular, usando o Lema do Bombeamento (LB). Para isso, vamos supor que A regular. Seja p o inteiro fornecido pelo LB para C. Considere w = 0p 1 (0 1) 0p 1. Ento, w C e |w| > p. Logo, o LB garante que existem palavras x, y, e z tais que w = xyz, com y , |xy| p e para cada k 0, xykz A.

Como y e |xy| p, existem inteiros r 0 e s > 0 tais que x = 0r, y = 0s e z = 0p-r-s 1(0 1)+0p 1 Considere a palavra t = xy2z = 0r (0s)2 0p-r-s 1(0 1)+0p 1 = 0p+s 1(0 1)+0p 1. Pelo LB, t C. Mas p + s > p, visto que s > 0. Logo t no pode pertencer a C, o que uma contradio. Portanto, C no regular.

Exerccio 2.a Seja A = {1ky : y {0, 1}* e |y|1 k, para k 1}. Vamos mostrar que A A.

regular construindo um autmato finito que aceite palavras w Considere o diagrama de estados abaixo:

Em q0: nada foi lido; Em q1: foi lido apenas o primeiro dgito (1) ou foram lidos, pelo menos, 2m + 1 dgitos (1) possivelmente intercalados com n dgitos (0), de modo que existem as palavras x e z tais que w = xz, x = 1 1m e |z|1 m - 1. Em q2: foram lidos, pelo menos, 2m + 1 dgitos (1) possivelmente intercalados com n dgitos (0), de modo que existem as palavras x e z tais que w = xz, x = 1m e |z|1 m. Como, por definio, uma linguagem regular se existe algum AF que a descreve, conclui-se que A regular.

Exerccio 2.b Seja B = {1ky : y {0, 1}* e |y|1 k, para k 1}. Vamos mostrar, por contradio, que B no regular usando o Lema do Bombeamento (LB). Para isso, vamos supor que B regular. Seja p o inteiro fornecido pelo LB para A. Considere w = 1p 0 1p . Ento, w B e |w| > p. Logo, o LB garante que existem palavras x, y, e z tais que w = xyz, com y , |xy| p e para cada k 0, xykz A. Como y 1p . e |xy| p, existe o inteiros s > 0 tal que x = 1p-s, y = 1s e z = 0

Considere a palavra t = xy0z = 1 p-s (1s)0 0 1p = 1 p-s 0 1p . Pelo LB, t B. Mas p - s < p, visto que s > 0. Logo t no pode pertencer a B, o que uma contradio. Portanto, B no regular.

Exerccio 3.a Seja F = {ai bj ck : i, j, k 0 e se i = 1 ento j = k}. Vamos mostrar que F no regular, usando o Lema do Bombeamento (LB) para obter uma contradio. Para isso, vamos supor que A regular e aplicar o LB em dois casos: i = 1 e i 1. Para o primeiro caso, seja p o inteiro fornecido pelo LB para F. Considere w = ai bp-i cp-i. Ento, w F e |w| > p. Logo, o LB garante que existem palavras x, y, e z tais que w = xyz, com y Como y cp - i , |xy| p e para cada k 0, xykz F.

e |xy| p, existe o inteiro s > 0 tal que x = a bp - s - i , y = bs e z =

Considerando t = xy0z = a bp - s -1 (bs) cp 1 = a bp - s -1 cp - 1 , notamos que t no pode pertencer a F, pois p s 1 p 1, visto que s > 0 , o que contradiz o LB. No segundo caso, se t = xymz = ai bp - s -i (bs)m ck = ai bp + (m-1)s - i ck , o bombeamento de y no produz a contradio desejada e precisamos nos apoiar na terceira propriedade do LB para validar a afirmao de que F no regular. Notemos ento que, para todo m > 1, |xy| = | ai bp - s -i (bs)m | = i + p +(m-1)s i p + s > p, o que nos d a contradio procurada. Portanto, uma contradio inevitvel quando supomos que F regular, logo F no regular.

Exerccio 3.b Considere x = ai bp-s-i y = bs z = cp-1 ; w = ai bp-s-i bs cp-1 e p = 4. Claramente F satisfaz as trs condies do LB, pois: 1. x ym z F, m 0

qualquer que seja o valor de p, a concatenao de bs por m vezes satisfaz a restrio bj com j 0; 2. |y| > 0 o valor de p tambm no interfere na segunda condio, que fica satisfeita restringindo-se s > 0; 3. |xy| p Fazendo i = 2 e s = 1, |a2 bp-1-2 b1| = 2 + p 1 2 + 1 = p, o que satisfaz a terceira condio.

Exerccio 4.a Vamos mostrar que para uma linguagem A, regular e infinita, existem A1 e A2 tais que A1 U A2 = A e A1 A2 = Sejam M e N linguagens sobre * tais que M = {w * : w tem comprimento mpar } e N = {w * : w tem comprimento par}

Como as linguagens regulares so fechadas sob a interseco: A1 = A M regular e A2 = A N idem. Naturalmente, A1 U A2 = A, o que completa a prova.

Exerccio 4.b Para mostrar que se B e D so duas linguagens regulares tais que B << D, ento existe uma linguagem regular C tal que B << C << D, vamos escolher uma linguagem auxiliar L. Seja L = D B. Claramente L uma linguagem regular infinita, pelas propriedades de fechamento das linguagens regulares sob a interseco e sob o complemento. Mas, pelo exerccio 4.a, podemos dividir L em dois subconjuntos disjuntos L1 e L2. Fazendo C = B U L1, podemos escrever: B << C << D, c.q.d.