Fechamento Sob as Operaes Regulares

Jerusa Marchi
Universidade Federal de Santa Catarina
Departamento de Informtica e Estatstica

8 de Abril de 2016

Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

1 / 10

Fechamento Sob a Operao de Unio

Teorema.
A classe de linguagens regulares fechada sob a operao de unio.

Ideia da Demonstrao.
Sejam L1 e L2 linguagens regulares. Queremos demonstrar que L1 L2
regular. A ideia criar dois autmatos finitos no determinsticos, N1 e N2 ,
para L1 e L2 e combin-los em um novo autmato finito no
determinstico, N.
A mquina N deve aceitar sua entrada se N1 ou N2 aceitarem a sua
entrada. A nova mquina tem um novo estado inicial que ramifica para os
estados iniciais das mquinas N1 e N2 com transies . Desta forma, a
nova mquina, no deterministicamente, adivinha qual das duas mquinas
aceita a entrada. Se alguma mquina aceita a entrada, N aceitar a
entrada tambm.
Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

2 / 10

Fechamento Sob a Operao de Unio

Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

3 / 10

Fechamento Sob a Operao de Unio

Demonstrao.
Sejam N1 = (K1 , , 1 , q1 , F1 ) que reconhece L1 e N2 = (K2 , , 2 , q2 , F2 )
que reconhece L2 . Constri-se N = (K , , , q0 , F ) para reconhecer
L1 L2 , da seguinte forma:
K = {q0 } K1 K2 , onde q0 o estado inicial de N
F = F1 F 2
da forma que para qualquer q K e qualquer a ,

1 (q, a) q K1

(q, a) q K
2
2
(q, a) =

{q1 , q2 } q = q0 e a =

q = q0 e a 6=

Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

4 / 10

Fechamento Sob a Operao de Concatenao

Teorema.
A classe de linguagens regulares fechada sob a operao de concatenao.

Ideia da Demonstrao.
Sejam L1 e L2 linguagens regulares. Queremos demonstrar que L1 L2
regular. A ideia criar dois autmatos finitos no determinsticos, N1 e N2 ,
para L1 e L2 e combin-los em um novo autmato finito no
determinstico, N.
Marque o estado inicial de N como sendo o estado inicial de N1 . Os
estados de aceitao de N1 tem transies adicionais que, no
deterministicamente, permite a ramificao para N2 onde N1 um estado
de aceitao, significando que ela encontrou uma parte da entrada que faz
parte de L1 . Os estados de aceitao de N so os estados de aceitao de
N2 , somente. Portanto, N aceita quando a entrada pode ser divididas em
duas partes, onde a primeira parte aceita por N1 e a segunda parte por
N2 .
Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

5 / 10

Fechamento Sob a Operao de Concatenao

Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

6 / 10

Fechamento Sob a Operao de Concatenao

Demonstrao.
Sendo N1 = (K1 , , 1 , q1 , F1 ) que reconhece L1 e N2 = (K2 , , 2 , q2 , F2 )
que reconhece L2 . Constri-se N = (K , , , q1 , F2 ) para reconhecer
L1 L2 , da seguinte forma:
K = K1 K2 .
O estado q1 o mesmo estado inicial de N1 .
Os estados de aceitao F2 so os mesmos estados de aceitao de N2 .
Defina da forma que para qualquer q K e qualquer a ,

q K1 e q
/ F1
1 (q, a)

(q, a)
q F1 e a 6=
1
(q, a) =

1 (q, a) {q2 } q F1 e a =

(q, a)
q K2
2
Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

7 / 10

Fechamento Sob a Operao Estrela

Teorema.
A classe de linguagens regulares fechada sob a operao estrela.

Ideia da Demonstrao.
Tem-se a linguagem regular L1 e queremos provar que L1 regular. A ideia
modificar o autmato finito no determinstico N1 para L1 de forma que
ele reconhea L1 . O autmato finito no determinstico resultante N
aceitar a entrada, desde que ela possa ser quebrada em diversas partes e
N1 aceite cada uma delas.
Ns podemos construir N da mesma forma que N1 , adicionando transies
que retornam, dos estados de aceitao, para o estado inicial. Desta
forma, quando o processamento chega ao final de uma parte da entrada
que N1 aceita, a mquina N tem a opo de pular de volta ao estado inicial
para tentar ler outra parte da entrada que N1 aceita. Adicionalmente, ns
devemos modificar N para que ela aceite , que sempre membro de L1 .
Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

8 / 10

Fechamento Sob a Operao Estrela

Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

9 / 10

Fechamento Sob a Operao Estrela

Demonstrao.
Sendo N1 = (K1 , , 1 , q1 , F1 ) que reconhece L1 . Construa
N = (K , , , q0 , F ) para reconhecer L1 , da seguinte forma:
K = {q0 } K1 .
O estado q0 o novo estado inicial.
F = F1 {q0 }.
Defina da forma que para qualquer q K e qualquer a ,

q K1 e q
/ F1
1 (q, a)

q F1 e a 6=
1 (q, a)
(q, a) = 1 (q, a) {q1 } q F1 e a =

{q1 }
q = q0 e a =

q = q0 e a 6=
Jerusa Marchi (UFSC)

Fechamento Sob as Operaes Regulares

8 de Abril de 2016

10 / 10