introdução - ufpr · introdução p a ssa g e m so b re “co mp u t a t i o n a l l e n s”: p...
TRANSCRIPT
![Page 1: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/1.jpg)
Introdução Passagem sobre “computational lens”:
Passagem sobre demonstrações em modelos mais fracos:
![Page 2: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/2.jpg)
Capítulo 0
![Page 3: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/3.jpg)
Capítulo 1 Pág.9 (Tese de Church-Turing)
Seções 1.1 e 1.2
![Page 4: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/4.jpg)
Seção 1.3: Variações de Máquinas de Turing (Alfabetos diferentes)
Moral: tamanho do alfabeto é irrelevante (overhead logarítmico no tamanho do alfabeto, o que significa constante na maioria dos casos, pois MTs tem tamanho fixo)
![Page 5: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/5.jpg)
Mais ou menos fitas
Obs: quadrático para todo k Prova:
Fita infinita nas duas direções
![Page 6: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/6.jpg)
Seção 1.4: MÁQUINAS DE TURING UNIVERSAIS
MT universal com contador de tempo:
MTs abstraídas (Exercício)
Obs: overhead logarítimico
![Page 7: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/7.jpg)
UNIVERSALIDADE EFICIENTE Ideia da prova
![Page 8: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/8.jpg)
![Page 9: Introdução - UFPR · Introdução P a ssa g e m so b re “co mp u t a t i o n a l l e n s”: P a ssa g e m so b re d e mo n st ra çõ e s e m mo d e l o s ma i s f ra co s: Capítulo](https://reader036.vdocuments.mx/reader036/viewer/2022080721/5f7a4c99d22466432e67b31d/html5/thumbnails/9.jpg)
Detalhes da prova: