Você está na página 1de 7

Autmatos

e Linguagens Formais, 2015-2, Equivalncia Exp Regulares 1


e Automatos, Data
Marcelino Pequeno

Equivalncia Expresses Regulares e Autmatos


1. As linguagens regulares so fechadas em relao s propriedades de:


a. Unio
b. Concatenao
c. Estrela de Kleene
d. Complementao
e. Interseo

Provas Itens a), b) e c)


As provas so feitas atravs da construo de -NDFA a partir dos autmatos que
aceitam as linguagens. Veja nos livros do Papadimitriou e/ou Hopcroft como se
d a construo.

A prova para o item d) Complementao



Considere um DFA que aceite uma linguagem L, M = <K, , , s, F>.
O autmato, M, que aceita , construdo a partir de M, simplesmente se
invertendo os estados finais e no finais:

M = <K, , , s, K - F>.

Exerccios:

1) Mostre que a linguagem das strings formados por as e bs tais que tanto o
nmero de as quanto o de bs nunca par regular.
2) D um exemplo mostrando que a construo do complemento no
funcionaria caso fosse aplicada a um NDFA.

A prova para o item e) Interseo



H uma prova indireta envolvendo as operaes anteriores.
Observe que a interseo de duas linguagens L1 e L2 dada pela expresso:

L1 L2 = ! ! ; aonde o complemento de L.

H uma prova direta envolvendo a construo do autmato produto. Considere
os autmatos determinsticos M1 = <K1, , 1, s1, F1> e M2 = <K2, , 2, s2, F2>, que
aceitam L1 e L2, respectivamente. O autmato produto, M = <K, , , s, F>,
construdo como:
K = K1 X K2
s = (s1, s2)

(p,q) = (1(p), 2(q)); onde p K1 e q K2.


F = F1 X F2

Teorema: M aceita a linguagem L1 L2.

Para provar este teorema prove o Lema:

(s, w) = (p, q) sse 1(s1, w) = p e 2(s2, w) = q.



Deixamos esta prova como exerccio.

Linguagens Regulares: Definio



Uma linguagem L regular se, e somente se, L expressa por uma expresso
regular.

Teorema 1: Para linguagem regular L regular existe um autmato finito M
(determinstico ou no determinstico) tal que M aceita L.

A prova feita utilizando-se a definio indutiva das expresses regulares,
chama-se uma prova por induo estrutural.

Lembre-se da definio indutiva de exp regular:

Base da Definio:

1) uma exp. regular.
2) uma exp. regular.
3) a uma exp. regular, para todo a .

Composio:

4) Concatenao: Se r e s so exp. regulares, ento (rs) uma exp. regular.
5) Unio: Se r e s so exp. regulares, ento (r + s) uma exp. regular.
6) Est. de Kleene: Se r exp. regular, ento r* uma exp. regular.

Vamos construir -NDFA para todas estas exp. regulares.

1) Exp. Regular:

Qualquer autmato sem estados finais aceita a linguagem vazia. Em particular o
NDFA:

Autmatos e Linguagens Formais, 2015-2, Equivalncia Exp Regulares 3


e Automatos, Data
Marcelino Pequeno


2) Exp. Regular:


3) Exp. Regular: a



4) Exp. Regulares Compostas: Concatenao, Unio, e Estrela de Kleene.

A construo do -NDFA a partir dos autmatos das linguagens individuais
mostrada nos livros do Papadimitriou e Hopcroft.

Exerccios.

1) Construa autmatos no determinsticos para as expresses regulares.
Construa os autmatos de acordo com a metodologia apresentada na prova
do teorema acima.

a.
b.
c.
d.
e.
f.
g.

a
b
ab
(ab + a)
(ab + a)*
(ab + a)*a
((ab + a)*a)*

Equivalncia Autmatos e Expresses Regulares



Teorema 2. Toda linguagem aceita por um autmato finito expressa por uma
expresso regular.

Esta prova feita atravs do mtodo de extrair a exp. regular da linguagem aceita
por um -DDFA.

Autmatos e Linguagens Formais, 2015-2, Equivalncia Exp Regulares 5


e Automatos, Data
Marcelino Pequeno


O mtodo mais conveniente ir eliminando os estados de um autmato finito at
que reste apenas dois estados. Cada vez que um estado eliminado acrescenta-se
arestas cujos labels so strings.

A melhor maneira de nos familiarizarmos com o mtodo resolvendo alguns
exemplos e exerccios.

Exemplos

1) Exemplo 2.3.2 do Papadimitriou em ingls, p. 80.


Considere o DFA que aceita a linguagem
L = {w {a, b}*; w tem 3k+1 bs, p/ algum k N}
Extraia a exp. regular da linguagem aceita pelo DFA.


Eliminando o estado q1:



H uma tcnica para se extrair a exp. regular quando se tem apenais dois
estados.

Tcnica Geral:

Aplicando-se a tcnica para o autmato obtido:



E = (a + ba*ba*b)*ba*





Autmatos e Linguagens Formais, 2015-2, Equivalncia Exp Regulares 7


e Automatos, Data
Marcelino Pequeno

Exerccios

1) Extraia as exp. regulares dos autmatos abaixo: