1 aplicações do fecho regular. 2 a interseção de uma linguagem livre de contexto e uma linguagem...
TRANSCRIPT
![Page 1: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/1.jpg)
1
Aplicações do
Fecho Regular
![Page 2: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/2.jpg)
2
A interseção de uma linguagem livre de contexto e uma linguagem regularé uma linguagem livre de contexto
1Llivre de contexto
2L regular21 LL
livre de contexto
Fecho Regular
![Page 3: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/3.jpg)
3
Uma Aplicação de Fecho Regular
Prove que: }100:{ nbaL nn
é livre de contexto
![Page 4: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/4.jpg)
4
}{ nnbaSabemos que:
é livre de contexto
![Page 5: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/5.jpg)
5
}{ 1001001 baL é regular
}{}){( 100100*1 babaL é regular
Também sabemos que:
![Page 6: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/6.jpg)
6
}{}){( 100100*1 babaL
regular
}{ nnbalivre de contexto
1}{ Lba nn é livre de contexto
Lnba
Lbann
nn
}100:{
}{ 1
livre de contexto
(fecho regular)
![Page 7: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/7.jpg)
7
Outra Aplicação de Fecho Regular
Prove que: }:{ cba nnnwL
não é livre de contexto
![Page 8: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/8.jpg)
8
}:{ cba nnnwL
}{*}**{ nnn cbacbaL
livre de contextoregularlivre de contexto
Se é livre de contexto
Então
Impossível!!!
Portanto, não é livre de contextoL
(fecho regular)
![Page 9: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/9.jpg)
9
Propriedades Decidíveisde
Linguagens Livres de Contexto
![Page 10: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/10.jpg)
10
Questão da Pertinência:
para uma gramática livre de contextodeterminar se o string
G)(GLw
Algoritmos para Pertinência:Parsers
•Parser de busca exaustiva
•Algoritmo de parsing CYK
![Page 11: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/11.jpg)
11
Questão da Linguagem Vazia:
para uma gramática livre de contextodeterminar se
G)(GL
Algoritmo:
S
1.Remova variáveis inúteis
2.Verifique se a variável inicial é útil
![Page 12: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/12.jpg)
12
Questão da Linguagem Infinita:
para uma gramática livre de contextofdeterminar se é infinita
G)(GL
Algoritmo:
1. Remova variáveis inúteis
2. Remova produções unitárias e produções
3. Crie o grafo de dependência para variáveis
4. Se existe um loop no grafo de dependência então a linguagem é infinita
![Page 13: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/13.jpg)
13
Exemplo:
cBSC
bbbBB
aaCbA
ABS
|
|
S
A
B
C
Grafo de Dependência Linguagem Infinita
![Page 14: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/14.jpg)
14
cBSC
bbbBB
aaCbA
ABS
|
|
acbbSbbbacBSbBaCbBABS
ii bbbSacbb
bbbSacbbacbbSbbbS
)()(
)()( 22
![Page 15: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/15.jpg)
15
Lema do Bombeamento para
Linguagens Livres de Contexto
![Page 16: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/16.jpg)
16
Tome uma linguagem livre de contexto infinita
Exemplo:
bB
SbB
aBbA
ABS
Gera um número infinitode strings diferentes
![Page 17: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/17.jpg)
17abbabbbbabbabbBb
abbaBbBbabbABbabbSb
abbBaBbBABS
bB
SbB
aBbA
ABS
Uma derivação:
![Page 18: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/18.jpg)
18
S
A B
bBa
b
bS
A B
bBa
b
b
Árvore de Derivação string abbabbbb
![Page 19: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/19.jpg)
19
S
A B
bBa
b
bS
A B
bBa
b
b
repetido
Árvore de Derivação string abbabbbb
![Page 20: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/20.jpg)
20
B
bS
A B
bBa
b
b
aBbbbaBbBb
ABbSbB
bB
![Page 21: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/21.jpg)
21
B
bS
A B
bBa b
aBbbbB
Parte Repetida
![Page 22: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/22.jpg)
22
B
bS
A B
ba bB
bS
A B
bBa b
aaBbbbbbbaBbbbB
Outra possível derivação
aBbbbB
![Page 23: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/23.jpg)
23
S
A B
bBa
b
bS
A B
ba bB
abbaBbbbS
aBbbbB
![Page 24: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/24.jpg)
24bbabbaaBbbbbabbaBbbbS
S
A B
bBa
b
bS
A B
ba bB
bS
A B
bBa b
aBbbbB
![Page 25: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/25.jpg)
25bbabbaabbbbbbbabbaaBbbbbS
S
A B
bBa
b
bS
A B
ba bB
bS
A B
bBa b bBb
![Page 26: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/26.jpg)
26
bbabbaabbbbbS
Portanto, o string
bbabbaabbbbb
também é gerado pela gramática
![Page 27: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/27.jpg)
27
abbaBbbbS
aBbbbB bBSabemos:
Sabemos também que este string é gerado:
abbaabbbb
abbaBbbbS
![Page 28: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/28.jpg)
28
abbaBbbbS
aBbbbB bBSabemos:
Portanto, este string também é gerado:
bbabbaabbbbb
bbabbaaBbbbb
abbaBbbbS
![Page 29: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/29.jpg)
29
abbaBbbbS
aBbbbB bBSabemos:
Portanto, este string também é gerado:
bbbbbbbaabba
bbbbbbBaabba
bbbbbbBaabba
abbaBbbbS
22
22
)()(
)()(
)()(
![Page 30: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/30.jpg)
30
Portanto, este string também é gerado:
bbbbbbbaabba
bbbbbbBaabba
abbaBbbbS
ii
ii
)()(
)()(
abbaBbbbS
aBbbbB bBSabemos:
![Page 31: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/31.jpg)
31
Portanto, sabendo que
abbabbbb
é gerado pela gramática também sabemos que
bbbbbbbaabba ii )()(
é gerado por
G
G
![Page 32: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/32.jpg)
32
Em geral:
Dada uma gramática livre de contexto infinitaG
Podemos supor que não tem produções unitárias nem -produções
G
![Page 33: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/33.jpg)
33
Tome um string com comprimento maior que
Alguma variável deve ser repetidana derivação de
)(GLw
(Número de produções) x(Maior lado direito de uma produção)
m >
w
Consequência:
![Page 34: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/34.jpg)
34
S
A
A
x
Última variável repetida
u z
v y
uvxyzwString
repetida
![Page 35: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/35.jpg)
35
S
A
A
x
u z
v y
uAzS
vAyA
xA
Possíveisderivações:
![Page 36: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/36.jpg)
36
uAzS vAyA
xA
Sabemos:
Este string é também gerado:
uxzuAzS*
zxyuv 00
![Page 37: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/37.jpg)
37
Este string é também gerado:
uvxyzuvAyzuAzS**
O original zxyuvw 11
uAzS vAyA
xA
Sabemos:
![Page 38: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/38.jpg)
38
Este string é também gerado:
uvvxyyzuvvAyyzuvAyzuAzS***
zxyuv 22
uAzS vAyA
xA
Sabemos:
![Page 39: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/39.jpg)
39
Este string é também gerado:
uvvvxyyyzuvvvAyyyz
uvvAyyzuvAyzuAzS**
**
zxyuv 33
uAzS vAyA
xA
Sabemos:
![Page 40: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/40.jpg)
40
Este string é também gerado:
yyyzvxyuvvv
yyyzvAyuvvv
uvvvAyyyz
uvvAyyzuvAyzuAzS
zxyuv ii
uAzS vAyA
xA
Sabemos:
*
***
*****
![Page 41: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/41.jpg)
41
Portanto, qualquer string da forma
zxyuv ii
é gerado pela gramática G
0i
![Page 42: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/42.jpg)
42
sabendo que )(GLuvxyz
sabemos também que )(GLzxyuv ii
Portanto,
![Page 43: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/43.jpg)
43
S
A
A
x
u z
v y
mvxy ||Observação:
Como é a última variável repetidaA
![Page 44: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/44.jpg)
44
S
A
A
x
u z
v y
1|| vyObservação:
Como não existem produções ou unitárias
![Page 45: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/45.jpg)
45
Lema do Bombeaamento:
existe um inteiro tal quem
para todo string mwLw || ,
podemos escrever
Para linguagem livre de contexto infinitaL
uvxyzw
com 1||and || vymvxy
e devemos ter que:
0 allfor , iLzxyuv ii
![Page 46: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/46.jpg)
46
Aplicaçõesdo
Lema do Bombeamento
![Page 47: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/47.jpg)
47
Linguagens Livres de Contexto
}0:{ nba nn
Linguagens não livres de contexto
}0:{ ncba nnn
![Page 48: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/48.jpg)
48
Teorema: A linguagem
}0:{ ncbaL nnn
não é livre de contexto
Prova:Use o Lema do Bombeamentopara linguagens livres de contexto
![Page 49: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/49.jpg)
49
}0:{ ncbaL nnn
Suponha por contradição que
seja livre de contexto
Como é livre de contexto e infinitapodemos aplicar o lema do bombeamento
L
L
![Page 50: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/50.jpg)
50
• Lema do Biombeamento nos dá um número mágico tal que: m
Dado um string comLw mw ||
Tomamos:mmm cbaw
}0:{ ncbaL nnn
![Page 51: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/51.jpg)
51
}0:{ ncbaL nnn
mmm cbaw
Podemos escrever : uvxyzw
com emvxy || 1|| vy
![Page 52: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/52.jpg)
52
}0:{ ncbaL nnn
O Lema do Bombeamento diz:
Lzxyuv ii pata todo 0i
mmm cbawuvxyzw mvxy || 1|| vy
![Page 53: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/53.jpg)
53
}0:{ ncbaL nnn
Examinemos todas as possíveis localizaçõesdo string em vxy w
mmm cbawuvxyzw mvxy || 1|| vy
![Page 54: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/54.jpg)
54
}0:{ ncbaL nnn
Caso 1: vxy está emma
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
mmm cbawuvxyzw mvxy || 1|| vy
![Page 55: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/55.jpg)
55
}0:{ ncbaL nnn
Caso 1: e consistem appenas dev y a
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
mmm cbawuvxyzw mvxy || 1|| vy
![Page 56: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/56.jpg)
56
}0:{ ncbaL nnn
Caso 1:
ccccccbbbbbbaaaaaaaaaaaa .........22xyv
km m m
u z
Repetindo ev y
mmm cbawuvxyzw mvxy || 1|| vy
1k
![Page 57: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/57.jpg)
57
}0:{ ncbaL nnn
Caso 1:
ccccccbbbbbbaaaaaaaaaaaa .........22xyv
km m m
u z
Do Lema do Bomb.: Lzxyuv 22
mmm cbawuvxyzw mvxy || 1|| vy
1k
![Page 58: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/58.jpg)
58
}0:{ ncbaL nnn
Caso 1:
Lcbazxyuv mmkm 22
Do Lema do Bomb.: Lzxyuv 22
Entretanto:
Contradição!!!
mmm cbawuvxyzw mvxy || 1|| vy
1k
![Page 59: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/59.jpg)
59
}0:{ ncbaL nnn
Caso 2: vxy está emmb
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
mmm cbawuvxyzw mvxy || 1|| vy
![Page 60: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/60.jpg)
60
}0:{ ncbaL nnn
Caso 2:
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
Análise similar à do caso 1
mmm cbawuvxyzw mvxy || 1|| vy
![Page 61: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/61.jpg)
61
}0:{ ncbaL nnn
Caso 3: vxy está emmc
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
mmm cbawuvxyzw mvxy || 1|| vy
![Page 62: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/62.jpg)
62
}0:{ ncbaL nnn
Caso 3:
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
Análise similar à do caso 1
mmm cbawuvxyzw mvxy || 1|| vy
![Page 63: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/63.jpg)
63
}0:{ ncbaL nnn
Caso 4: vxysobrepõe e ma
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
mb
mmm cbawuvxyzw mvxy || 1|| vy
![Page 64: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/64.jpg)
64
}0:{ ncbaL nnn
Caso 4:
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
Possibilidade 1:contém apenascontém apenas
vy
ab
mmm cbawuvxyzw mvxy || 1|| vy
![Page 65: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/65.jpg)
65
}0:{ ncbaL nnn
ccccccbbbbbbbbbbaaaaaaaaaa .........22xyv
1km 2km m
u z
mmm cbawuvxyzw mvxy || 1|| vy
Caso 4:Possibilidade 1:contém apenascontém apenasvy
ab121 kk
![Page 66: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/66.jpg)
66
}0:{ ncbaL nnn
Caso 4:
ccccccbbbbbbbbbbaaaaaaaaaa .........22xyv
1km 2km m
u z
Do Lema do Bomb.: Lzxyuv 22
mmm cbawuvxyzw mvxy || 1|| vy
121 kk
![Page 67: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/67.jpg)
67
}0:{ ncbaL nnn
Caso 4:Do Lema do Bomb.: Lzxyuv 22
Lcbazxyuv mkmkm 2122Entretanto:
Contradição!!!
mmm cbawuvxyzw mvxy || 1|| vy
121 kk
![Page 68: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/68.jpg)
68
}0:{ ncbaL nnn
Case 4:
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
Possibilidade 2:contém econtém apenasvy
ab
mmm cbawuvxyzw mvxy || 1|| vy
b
![Page 69: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/69.jpg)
69
}0:{ ncbaL nnn
Caso 4:
ccccccbbbbbbbbbbbaaaaabbaabaaa .........
22xyv
m km m
u z
Possibilidade 2:
mmm cbawuvxyzw mvxy || 1|| vy
1k 2k
121 kkkcontém econtém apenasvy
abb
![Page 70: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/70.jpg)
70
}0:{ ncbaL nnn
mmm cbawuvxyzw mvxy || 1|| vy
Caso 4:Do Lema do Bomb: Lzxyuv 22
ccccccbbbbbbbbbbbaaaaabbaabaaa .........
22xyv
m km m
u z
1k 2k
121 kkk
![Page 71: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/71.jpg)
71
}0:{ ncbaL nnn
mmm cbawuvxyzw mvxy || 1|| vy
Case 4:Do Lema do Bomb: Lzxyuv 22
Lcbabazxyuv mkmkkm 2122
Entretanto:
Contradição!!!
121 kkk
![Page 72: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/72.jpg)
72
}0:{ ncbaL nnn
Caso 4:
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
Possibilidade 3:contém apenascontém evy
ab
mmm cbawuvxyzw mvxy || 1|| vy
a
![Page 73: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/73.jpg)
73
}0:{ ncbaL nnn
Caso 4:Possibilidade 3:
mmm cbawuvxyzw mvxy || 1|| vy
Análise similar à da Possibilidade 2
contém apenascontém evy
aba
![Page 74: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/74.jpg)
74
}0:{ ncbaL nnn
Caso 5: vxysobrepõe e mb
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
mc
mmm cbawuvxyzw mvxy || 1|| vy
![Page 75: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/75.jpg)
75
}0:{ ncbaL nnn
Caso 5:
mmm cbawuvxyzw mvxy || 1|| vy
Análise similar à do caso 4
ccccccbbbbbbaaaaaa .........
vxy
m m m
u z
![Page 76: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/76.jpg)
76
Não existem outros casos a considerar
(como , string não pode sobrepor , e ao mesmo tempo)
vxymvxy ||
ma mb mc
![Page 77: 1 Aplicações do Fecho Regular. 2 A interseção de uma linguagem livre de contexto e uma linguagem regular é uma linguagem livre de contexto livre de contexto](https://reader036.vdocuments.net/reader036/viewer/2022062307/552fc15e497959413d8e58ed/html5/thumbnails/77.jpg)
77
Em todos os casos obtibvemos contradição
Portanto:A hipótese original de que
}0:{ ncbaL nnn
é livre de contexto deve ser falsa
Conclusão: não é livre de contextoL