![Page 1: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/1.jpg)
1
ACH2043INTRODUÇÃO À TEORIA DA
COMPUTAÇÃO
Aula 10
Cap. 2.2 – Autômato com pilha (cont.)
Profa. Ariane Machado [email protected]
![Page 2: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/2.jpg)
2
Cap 2.2 – Autômato com pilha (AP)
![Page 3: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/3.jpg)
3
Exemplo
![Page 4: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/4.jpg)
4
Equivalência entre APN e GLC
Autômato com pilha NÃO DETERMINÍSTICO!!!
![Page 5: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/5.jpg)
5
Equivalência entre APN e GLC
Ideia da prova:
Uma LLC é gerada por uma GLC
Mostrar como converter uma GLC em um APN equivalente
![Page 6: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/6.jpg)
6
Conversão GLC em APN (ideia)
Exemplo
![Page 7: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/7.jpg)
7
Conversão GLC em APN (ideia)
Caso Geral:
![Page 8: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/8.jpg)
8
Equivalência entre APN e GLC
![Page 9: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/9.jpg)
9
Conversão APN em GLC (ideia)
Para facilitar, vamos considerar que o APN possui as seguintes características:
![Page 10: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/10.jpg)
10
Conversão APN em GLC (ideia)
G deve gerar uma cadeia x se x faz o APN ir do estado inicial ao estado de aceitação.
Para cada par de estados (p, q), criamos uma variável A
pq que gere todas as cadeias x que levam o APN do
estado p (com uma pilha vazia) ao estado q (com uma pilha vazia).
Neste APN:
– no estado p (com pilha vazia), o primeiro movimento é de EMPILHA.
– O último movimento é de DESEMPILHA (chegando no estado q, com pilha vazia)
![Page 11: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/11.jpg)
11
Conversão APN em GLC (ideia) No caminho de p a q (reconhecendo x), 2 situações:
– A pilha só se torna vazia novamente quando chega em q
– A pilha se torna vazia em algum ponto do caminho, antes de chegar em q
![Page 12: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/12.jpg)
12
Conversão APN em GLC (ideia) No camilho de p a q (reconhecendo x), 2 situações:
– A pilha só se torna vazia novamente quando chega em q
– A pilha se torna vazia em algum ponto do caminho, antes de chegar em q
![Page 13: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/13.jpg)
13
Conversão APN em GLC (ideia) No camilho de p a q (reconhecendo x), 2 situações:
– A pilha só se torna vazia novamente quando chega em q
– A pilha se torna vazia em algum ponto do caminho, antes de chegar em q
![Page 14: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/14.jpg)
14
Conversão APN em GLC (ideia) No camilho de p a q (reconhecendo x), 2 situações:
– A pilha só se torna vazia novamente quando chega em q
– A pilha se torna vazia em algum ponto do caminho, antes de chegar em q
![Page 15: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/15.jpg)
15
Conversão APN em GLC (ideia) No camilho de p a q (reconhecendo x), 2 situações:
– A pilha só se torna vazia novamente quando chega em q
– A pilha se torna vazia em algum ponto do caminho, antes de chegar em q
![Page 16: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/16.jpg)
16
Conversão APN em GLC (ideia) No camilho de p a q (reconhecendo x), 2 situações:
– A pilha só se torna vazia novamente quando chega em q
– A pilha se torna vazia em algum ponto do caminho, antes de chegar em q
![Page 17: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/17.jpg)
17
Conversão APN em GLC (PROVA)
![Page 18: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/18.jpg)
18
Conversão APN em GLC (PROVA)
Temos que provar que essa construção funciona, ou seja, que A
pq gera x se e somente se x pode levar o APN
de p (com pilha vazia) a q (com pilha vazia).
![Page 19: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/19.jpg)
19
Conversão APN em GLC (PROVA)
![Page 20: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/20.jpg)
20
![Page 21: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/21.jpg)
21
![Page 22: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/22.jpg)
22
Conversão APN em GLC (PROVA)
![Page 23: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/23.jpg)
23
![Page 24: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/24.jpg)
24
Caso 1:
O primeiro símbolo a ser empilhado (t) deve ser o último a ser desempilhado
Símbolos a e b lidos da entrada no primeiro e último movimento, respectivamente
– Segundo estado r e penúltimo estado s
δ(p,a,ε) contém (r,t) e δ(s,b,t) contém (q,ε), logo Apq
→ aArs
b está em G
x = ayb. y faz o APN ir de r a s, sem tocar em t, em k-1 passos
Pela hipótese de indução, Ars =>* y. Logo, A
pq =>* x
![Page 25: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/25.jpg)
25
Caso 2: Estado r onde a pilha fica vazia no meio da computação de x
Cada caminho (de p a r, e de r a q) tem no máximo k passos, x = yz
Pela hipótese de indução: Apr =>* y e A
rq =>* z.
Como Apq
→ AprA
rq está em G, A
pq =>* x
![Page 26: ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO · 1 ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 10 Cap. 2.2 – Autômato com pilha (cont.) Profa. Ariane Machado Lima ariane.machado@usp.br](https://reader033.vdocuments.com.br/reader033/viewer/2022043010/5fa25e334c72f158231cda1c/html5/thumbnails/26.jpg)
26
Equivalência entre APN e GLC