Autmatos

e Linguagens Formais, 2015-2, Expresses Regulares, Lista 1

1
Marcelino Pequeno

Gabarito Lista 1 Expresses Regulares

As questes 8 e 9 so sobre autmatos e portanto no momento so
opcionais.

1.

Prove que se w = uuR ento w um palndromo.

!

(uuR)R = ! !
= uuR;
!

observe que ! = u
2.

Prove as seguintes relaes:

a. ({e} L)* = L*
b. (L1*L2*)* = (L1 L2)*
c. w1 L* e w2 L* w1w2 L*

d. (L*)* = L*
e. L1 L2 L1* L2*
f. A L* e B L* AB L*

3.

Prove ou d um contra-exemplo:
a. (ab + a)*a = a(ba + a)* ; V
b. b(ab + a)*a = aa*b(aa*b)*; F
baba L(b(ab + a)*a) mas baba L(aa*b(aa*b)*)
c. (a + b)* = a* + b*; F
ab L((a + b)*) mas ab L(a* + b*)

4.

Quais as linguagens denotadas pelas expresses regulares:

a. L = {w {a,b}* ; o substring bbb ocorre em w}
(a+b)*bbb(a+b)*

b. L = {w {a,b}* ; o substring bbb no ocorre em w}

( + b + bb) (a + ab + abb)*
( + b + bb) (a* (ab)* (abb)*)*

c. L = {w {a,b}* ; o substring bbb ocorre exatamente uma vez em w}
(a + ba + bba)*bbb(a + ab + abb)*
( + b + bb) (a + ab + abb)*bbb(a + ab + abb)*

d. L = {w {a,b}* ; no ocorrem as isolados em w}

(b+ aa+)*

e. L = {w {a,b}* ; o substring bab ocorre em w}
(a+b)*bab(a+b)*

f. L = {w {a,b}* ; o substring bab no ocorre em w}
( + a) (b+ aa+)* ( + a)
(a + b*aa)*(b* + b*a)
a*(b + aa+)*a*

g. L = {w {a,b}* ; o substring bab ocorre exatamente uma vez em w}
(a + b*aa)*b*bab(b+aa+)*(b*a+)

h. L = {w {a,b}* ; o substring abab no ocorre em w}
(a* +ba)(bb+a* + baa+)(ba + )

5.

Quais as linguagens denotadas pelas expresses regulares:

a. (a + b)* : Conjunto de todos strings formados por as e bs.
b. (a +b)*aa(a+b)*
L = {w {a,b}*; w tem pelo menos dois as consecutivos}
c. (1+10)*
L = {w {0,1}*; w no tem dois 0s consecutivos e comea por 1 ou
w = }
d. (11+0)*(00+1)*
L = {w {0,1}*; os 1s em w vm em blocos pares e caso venha um
nmero mpar de 1s em w segue-se depois do ltimo 1 um
nmero par de 0s}
e. 2*(0+12*)*
L = {w {0,1,2}*; w no tem o substring 02}
f. (aa + bb + ((ab+ba)(aa+bb)*(ab+ba)))*
L = {w {a,b}*; w tem no. par de as e bs}
g. (0+10*1)*
L = {w {0,1}*; w tem no. par de 1s}
h. (1+01)*(e+0)
L = {w {0,1}*; w no tem dois 0s consecutivos}

6.

Exercite sua capacidade de fazer provas indutivas provando a

corretude e completude de algumas de suas respostas na questo
anterior.

 Autmatos e Linguagens Formais, 2015-2, Expresses Regulares, Lista 3

1
Marcelino Pequeno

c) (1+10)*
Faa L1 = {w {0,1}*; w no tem dois 0s consecutivos e comea por 1
ou w = }.
CORRETUDE: L((1+10)*) L1.
!
L((1+10)*)
= (L(1+10))* = !
!!! (1 + 10)
Vamos provar por induo em i que = (L(1+10))i L1; i N.
i = 0
(L(1+10))0 = {} e L1.
i + 1
(L(1+10))i+1 = (L(1+10))i L(1+10)
Seja w (L(1+10))i+1 , ento w = w1w2; w1 (L(1+10))i e w2
L(1+10).
w1 L1 (pela H.I) e w2 = 1 ou w2 = 10.
w1 no tem dois 0s consecutivos e comea por 1 ou w1 = .
CASO 1. w1 = .
w1w2 = 1 ou w1w2 = 10; em qq caso w1w2 L1.
CASO 2. w1 no tem dois 0s consecutivos e comea por 1
w1w2 = w11 ou w1w2 = w110; em qq caso w1w2 L1.
CQD

COMPLETUDE: L1 L((1+10)*).
w L1, ento w no tem dois 0s consecutivos e comea por 1 ou w =
Se w = , ento w L((1+10)*).
Se w no tem dois 0s consecutivos e comea por 1,
Ento, em w h 1s vontade e toda ocorrncia de 0 precedida por 1.
Fcil ver que neste caso, w L((1+10)*).
CQD

7.

LR = {w ; wR L}. Se L regular ento LR regular? Justifique.

Primeiro vamos definir recursivamente o que seja o reverso de uma expresso
regular, e, que chamaremos de eRE.

1. RE =
2. RE =
3. aRE = a
4. (e1.e2)RE = e2RE . e1RE
5. (e1 + e2)RE = (e1RE + e2RE)
6. (e*)RE = (eRE)*

Vamos demonstrar por induo nas expresses regulares que L(eRE) = L(e)R,
provando o exerccio. Lembrem que o conjunto das expresses regulares foi
definido indutivamente, portanto, podemos fazer provas por induo.

Vamos provar que para toda exp reg, e, L(eRE) = L(e)R. Lembre que se e uma
exp regular, L(e) a linguagem denotada por e.

Na prova abaixo, utilizaremos os seguintes resultados sobre o reverso de
linguagens (se necessrio prove cada um desses resultados, principalmente 4, 5 e
6).

1. R =
2. {}R = {}
3. {a}R = {a}
4. (L1.L2)R = L2R.L1R
5. (L1 L2)R = L1R L2R
6. (L*)R = (LR)*

Base: Casos 1, 2 e 3 da definio.

1. L(RE) = L() = = R = L()R.
2. L(RE) = L() = {} = {}R = L()R.
3. L(aRE) = L(a) = {a} = {a}R = L(a)R.

Passo Indutivo: Casos 4, 5 e 6.

4. L((e1.e2)RE) = L(e2RE . e1RE)
= L(e2RE) . L(e1RE)
= L(e2)R. L(e1)R ; Pela H.I: L(e1RE)= L(e1)R e L(e2RE)= L(e2)R
= (L(e1). L(e2))R
= L(e1. e2)R
RE
5. L((e1 + e2) ) = L(e1RE + e2RE)
= L(e1RE) L(e2RE)
= L(e1)R L(e2)R ; Pela H.I: L(e1RE)= L(e1)R e L(e2RE)= L(e2)R
= (L(e1) L(e2))R
= L(e1 + e2)R
6. L((e1*)RE)
= L((e1RE)*)
= (L(e1RE))*
= (L(e1)R)*; Pela H.I: L(e1RE)= L(e1)R.
= (L(e1)*)R
= L(e1*)R

8.

Construa autmatos finitos determinsticos ou no para as

linguagens da questo 4.

9.

Prove a corretude e completude de suas respostas nos itens (c),

(d) e (e) da questo 8.