Autmatos

e Linguagens Formais, 2014-2, Expresses Regulares, 1

Exemplos
Marcelino Pequeno

1. Construa expresses regulares para as linguagens abaixo

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