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
