Escolar Documentos
Profissional Documentos
Cultura Documentos
Setzer 1
QUAL A ESSNCIA DOS
COMPUTADORES?
VaIdemar W. Setzer
Depto de Cincia da Computao
IME-USP
www.ime.usp.br/~vwsetzer
GoogIe: vaIdemar setzer home
(Esta apresentao est no site
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 2
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 3
1. O ser humano uma mquina?
Favor responder
SIMou NO
no papeIzinho
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 4
1. O ser humano uma mquina? (cont.
ResuItado na paIestra dada para aIunos do
curso de Sistemas de Informao da
UNISA, So PauIo, em 18/8/08:
SIM - 42
NO - 29
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 5
1. O ser humano uma mquina? (cont.
O SER HUMANO UMA MQUINA? SIM NOTOTAL %SIM
1 18/09/02 UFMT, Cuiab (BCC) 25 21 46 54
2 09/09/02 Facs. Dom Domnico, Guaruj (grad) 26 54 80 33
3 25/09/02 PUC, SPaulo (ps G Jornalismo) 6 7 13 46
4 12/05/03 UNOESTE, Pres. Pruente (grad S e CC) 17 20 37 46
5 30/05/03 C Unicamp (ps Gr CC) 12 24 36 33
6 25/08/03 UNESP, Rio Claro (BCC) 13 11 24 54
7 28/08/03 UNSO, Sorocaba (Bach Sist nfo) 73 105 178 41
8 15/09/03 Centro de Cultura Judaica, SPaulo () 10 10 20 50
9 17/09/03 CEFET, Alagoas, Macei (Tecnol. PD) 76 60 136 56
10 25/09/03 Centro Cultural ta, SPaulo () 25 48 73 34
11 12/11/03 Faculdades SENAC, SPaulo (BCC) 13 9 22 59
12 21/10/04 UNP, cp. ndianpolis, SPaulo (BCC, EC...) 56 32 88 64
13 20/10/05 UNESP, Rio Claro (BCC) 13 18 31 42
14 18/08/08 UNSA, So Paulo (grad S) 42 29 71 59
15 15/09/08 UNSAL, Americana (grad S, AS) 44 36 80 55
16 07/10/09 UNOESTE, Presidente Prudente (BCC) 32 29 61 52
17 24/10/09 UNNOVE, S.Paulo (alunos de ps, profs) 24 20 44 55
# - Pblico geral Totais/mdia 482 533 1015 47
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 6
1. O ser humano uma mquina? (cont.
DescuIpem, mas a pergunta estava
E R R A D A:
Toda mquina um artefato projetado e
construdo por seres humanos
EventuaImente com a ajuda de outras mquinas
QUEM projetou e construiu cada ser humano?
Certamente no um outro ser humano
Muito menos com a ajuda de outras mquinas
Dicionrios engIobam o ser humano como uma
mquina
"Sistema que produz trabaIho"
"Fig. Entidade ou organismo compIexo" (AurIio
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 7
1. O ser humano uma mquina? (cont.
Pergunta CORRETA:
O ser humano
um sistema puramente fsico?
Durante a paIestra, vou usar a expresso
comum (entre Ieigos e cientistas, errada,
de que o ser humano uma mquina
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 8
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 9
2. O que a "essncia" de um objeto?
O que vocs esto percebendo
visuaImente na entrada da saIa?
Todos responderam: "uma porta"
Todos esto errados:
O que se percebe visuaImente so
IMPULSOS LUMINOSOS
E a "porta"?
um conceito
No perceptveI sensoriaImente
Esse conceito a ESSNCIA do objeto
QuaI a ESSNCIA dos computadores?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 10
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo das essncias dos computadores
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 11
3. O que faz um computador?
Comparao com outras mquinas
Outras
mquinas
Computadores
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 12
3. O que faz um computador?
Comparao com outras mquinas
Outras
mquinas
Computadores
Transformam,
transportam,
armazenam
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 13
3. O que faz um computador?
Comparao com outras mquinas
Outras
mquinas
Computadores
Transformam,
transportam,
armazenam
Matria,
energia
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 14
3. O que faz um computador?
Comparao com outras mquinas
Outras
mquinas
Computadores
Transformam,
transportam,
armazenam
Matria,
energia
Dados
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 15
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 16
4. O que so dados?
Dados so representaes simbIicas
quantificadas ou quantificveis
Quantificveis:
Depois de quantificar aIgo e reproduzi-Io, o
resuItado indistinguveI do originaI
ExempIos:
Texto, fotos, animao
Uma rvore quantificveI???
NO!
Puramente sintticos (estruturais
Computadores s processam dados
Seguem regras quantificadas
So mquinas sintticas
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 17
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 18
5. O que informao?
AIgo que est incorporado mentaImente como
conceito, e compreendido
ExempIos:
Previso do tempo: "Vai chover amanh"
O que incorporamos mentaImente quando sentimos
uma dor ou frio, reIativo a eIes
Informao envoIve compreenso
Compreenso envoIve semntica
Computadores so mquinas sintticas
Portanto, os computadores NO processam
informaes
Processam dados
No "compreendem" absoIutamente nada
A expresso "informtica" est errada!
Devia ser "dadtica" ou "dadtica"
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 19
5. O que informao? (cont.
Contra-exempIo:
Fpp Teepa1ypa an1pa
(rpapycn Oapere1
ap 59/71,6
P 69,8/84,2
Rp
Mockba
51,8/62,5
21,2/48,2
Para quem no entende russo, esses so
dados, e no informao!
Depois de entender, vira informao
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 20
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 21
6. O que conhecimento?
Uma vivncia incorporada interiormente
ExempIo:
Visitar Paris
Informao: estudar sobre Paris
Outra nomencIatura:
Conhecimento conhecimento prtico
Informao conhecimento terico
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 22
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par
11. Exerccios
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 23
7. O que competncia?
Ser competente ter a capacidade de
reaIizar aIgo tiI, j tendo demonstrado isso
ExempIo: j ter servido de guia em Paris
Competncia sempre envoIve uma
habiIidade em uma rea de conhecimento
ExempIo: o que ser competente em na
rea de conhecimento ingIs?
preciso especificar a habiIidade:
Ler
Escrever
FaIar
Traduzir
etc.
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 24
7. O que competncia?
Portanto, uma das essncias dos
computadores que eIes processam dados,
e no informaes, conhecimento ou
competncia
Vamos ver mais um aspecto da essncia
dos computadores
Para isso, vamos iniciaImente reduzir os
computadores sua expresso mais
simpIes
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 25
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par
11. Exerccios
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Mquinas podem ser inteIigentes? O Teste de Turing.
18. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
19. Transies no-deterministas na MT e em seres vivos.
20. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 26
8. QuaI o computador mais simpIes?
Um critrio de simpIicidade:
Nmero de tipos de instrues
PC tem centenas de tipos de instrues
QuaI o nmero mnimo de tipos de
instrues que um computador deve ter
para fazer quaIquer processamento de
dados, excIuindo uso de dispositivos de
entrada/sada?
Com isso, adquirimos mais informao sobre
a essncia dos computadores
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 27
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par
11. Exerccios
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 28
9. A Mquina de Turing
uma mquina abstrata (autmato formaI,
com a seguinte configurao:
CONTROLE
FINITO
b 1 0 0 1
...
L / G
b b
...
b b
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 29
9. A Mquina de Turing (cont.
Caractersticas do controIe finito:
1. Tem um nmero finito de estados
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 30
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
2. Est somente em um nico estado em
cada instante
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 31
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
2. Est somente em um nico estado em
cada instante
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 32
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
3. Estando em um estado, pode mudar para
outro estado, ou mudar para o mesmo
estado
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 33
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
3. Estando em um estado, pode mudar para
outro estado, ou mudar para o mesmo
estado (cont.
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 34
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
3. Estando em um estado, pode mudar para
outro estado, ou mudar para o mesmo
estado (cont.
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 35
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
3. Estando em um estado, pode mudar para
outro estado, ou mudar para o mesmo
estado (cont.
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 36
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
3. Estando em um estado, pode mudar para
outro estado, ou mudar para o mesmo
estado (cont.
s
1
s
2
s
3
s
n
...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 37
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
4. Uma transio entre de um estado s
i
para outro
(ou para o mesmo estado feita da seguinte
maneira, nessa sequncia:
4.1 "Iido" um smboIo da fita e escoIhida a transio
marcada com esse smboIo
s
i
s
j
s
k
#
1
CONTROLE
FINITO
b 1 0 0 1
...
L / G
b b
...
b b
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 38
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
4. Uma transio entre de um estado s
i
para outro
(ou para o mesmo estado feita da seguinte
maneira, nessa sequncia (cont.:
4.2 Na cIuIa onde est a cabea gravado o smboIo
indicado na transio
s
i
s
j
s
k
CONTROLE
FINITO
b x 0 0 1
...
L / G
b b
...
b b
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 39
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
4. Uma transio entre de um estado s
i
para outro
(ou para o mesmo estado feita da seguinte
maneira, nessa sequncia (cont.:
4.3 A cabea movida de acordo com a marca de
movimento indicada na transio (E ou D
s
i
s
j
s
k
CONTROLE
FINITO
b x 0 0 1
...
L / G
b b
...
b b
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 40
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
4. Uma transio entre de um estado s
i
para outro
(ou para o mesmo estado feita da seguinte
maneira , nessa sequncia (cont.:
4.4 feita a mudana para o estado indicado na
transio
s
i
s
j
s
k
CONTROLE
FINITO
b x 0 0 1
...
L / G
b b
...
b b
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 41
9. A Mquina de Turing (cont.
Caractersticas do controIe finito (cont.:
Portanto, uma transio definida por uma 5-tupIa
ordenada, p.ex. (s
i
, , , E, s
j
, (s
i
, 1, a, D, s
k
, etc.
s
i
s
j
s
k
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 42
9. A Mquina de Turing (cont.
(s
i
, 1, a, D, s
k
prximo estado
movimento da cabea
smboIo a ser gravado
smboIo Iido
estado atuaI
5. H um estado iniciaI
s
i
s
j
s
k
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 43
9. A Mquina de Turing (cont.
6. H um conjunto de estados finais
s
i
s
j
s
k
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 44
9. A Mquina de Turing (cont.
6. Portanto, o controIe finito pode ser definido
por uma 5-pIa ordenada
(S, s
i
, S
F
, A, T
Funo muItivaIente de transio
AIfabeto (conjunto finito da fita
Conjunto de estados finais
Estado iniciaI
Conjunto finito de estados
onde s
i
Z S,
S
F
S,
T: S x A A x M x S,
M = {E, D}
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 45
9. A Mquina de Turing (cont.
7. Um processamento de uma MT inicia com a
cabea em uma certa cIuIa da fita e o controIe
no estado iniciaI; as transies vo sendo
seguidas at que
7.1 A mquina atinja um estado finaI
7.2 Em um estado que foi atingido, no h
transio definida para o smboIo de entrada
quando ento se diz que essa MT parou.
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 46
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 47
10. ExempIo de uma Mquina de Turing
ProbIema: verificar a paridade de um nmero
binrio
Entrada: ResuItado:
AIgoritmo: 1. Ir uma cIuIa para a direita; 2. puIar todos os
1s e 0s at encontrar um ; 3. VoItar uma para a esquerda;
4.1 Se for 0, ir para a prxima direita e gravar P, A, R, ;
4.2 Se for 1, ir para a prxima direita e gravar I, M, P, A ,
R, .
... b b # 1 0 1 0 # b b ... ... b b # 1 0 1 0 P A R # b b ...
... b b # 1 0 1 1 M P A R # b b ... ... b b # 1 0 1 1 # b b ...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 48
10. ExempIo de uma Mquina de Turing (cont.
1,1,D
,,D ,,E 0,0,D ,P,D b,A,D
1,1,D b,P,D b,R,D
0,0,D
,I,D b,M,D
b,,D
Diagrama de Estados
... b b # 1 0 1 0 # b b ... ... b b # 1 0 1 0 P A R # b b ...
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 49
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 50
11. Exerccios
Desenhar os diagramas de estados de MTs para:
1. MuItipIicar um nmero binrio por 2:
1 1 0 0 1 1 1 0 0 1 0
2. Somar dois nmeros unrios:
1 1 1 + 1 1 1 1 1 =
1 1 1 + 1 1 1 1 1 = 1 1 1 1 1 1 1 1
(considerar tambm os nuIos!
3. Verificar se numa cadeia de a's e b's h o
mesmo nmero de a's do que de b's:
a b a a b b a b a a b b S I M
a b a b a a b a b a b a a b N O
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 51
11. Exerccios (cont.
4. Repetir um dos exerccios anteriores com
a entrada sem os marcadores de incio e
fim da cadeia de entrada, p.ex.
1 1 1 + 1 1 1 1 1 =
1 1 1 + 1 1 1 1 1 = 1 1 1 1 1 1 1 1
Obs.: a cabea pode comear em
quaIquer Iugar da fita!
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 52
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 53
12. Caractersticas da MT
A MT NO CALCULA!
A NICA coisa que eIa faz , dado um smboIo
na fita apontado peIa cabea, escoIher
Iogicamente uma transio com esse
smboIo, e neIa mudar esse smboIo da fita,
mover a cabea e passar para outro estado
A MT NEM MESMO COPIA smboIos!
A "memria" de uma MT representada
peIo que gravado na fita e peIo estado
em que eIa se encontra (que pode indicar
uma seqncias de estados anteriores
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 54
12. Caractersticas da MT (cont.
EssenciaImente, uma MT simpIesmente
manipuIa smboIos matematicamente
Essa a essncia fundamentaI de quaIquer
computador!
Ex.: um computador no soma - eIe combina
smboIos para dar o resuItado esperado para cada
soma
Como fica cIaro no exerccio da soma unria
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 55
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 56
13. Quantos tipos de instrues tem uma MT? (cont.
Lembremos que o PC tem centenas de tipos
E a Mquina de Turing???
Um nico tipo de instruo!!!
A 5-tupIa ordenada que descreve uma
transio, por exempIo
(s
i
, 1, a, D, s
k
prximo estado
movimento da cabea
smboIo a ser gravado
smboIo Iido
estado atuaI
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 57
13. Quantos tipos de instrues tem uma MT? (cont.
O que pode ser feito com esse nico tipo de
instruo?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 58
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 59
14. Tese de Church-Turing (1936
"Se existe um aIgoritmo para caIcuIar uma funo
matemtica, essa funo pode ser caIcuIada por
uma Mquina de Turing"
Isto , com uma MT pode-se fazer quaIquer
processamento de dados
pois isso equivaIe a caIcuIar uma funo
matemtica
Portanto, um s tipo de instruo permite que se
faa quaIquer processamento de dados!
Mais uma essncia dos computadores!
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 60
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 61
15. Por que AIan Turing desenvoIveu a MT?
EIe queria resoIver uma conjectura de David
HiIbert (1928, o Enstscheidungsproblem
(probIema da deciso, ou decidibiIidade:
Todo probIema matemtico bem
formuIado pode ser resoIvido
Turing provou que existem probIemas
matemticos que no podem ser resoIvidos,
isto , so indecidveis (no se sabe se tm
ou no soIuo
Inventou a MT, e provou que existem MTs
para as quais no se pode provar que param
para quaIquer dado de entrada (1937
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 62
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 63
16. A Mquina de Turing UniversaI
uma MT U que aceita na fita a descrio
de uma MT M e seus dados de entrada, e
simuIa o funcionamento dessa mquina M
Dada suficiente capacidade de
armazenamento de dados, quaIquer
computador pode simuIar quaIquer outro
computador
Nesse sentido, os computadores so
mquinas universais
Outra essncia fundamentaI dos computadores
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 64
16. A Mquina de Turing UniversaI
uma MT U que aceita na fita a descrio
de uma MT M e seus dados de entrada, e
simuIa o funcionamento dessa mquina M
Dada suficiente capacidade de
armazenamento de dados, quaIquer
computador pode simuIar quaIquer outro
computador
Nesse sentido, os computadores so
mquinas universais
Outra essncia fundamentaI dos computadores
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 65
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 66
17. Resumo da essncia dos computadores
Computadores processam dados, e no
informaes
Dados so smboIos, aos quais sempre se
podem associar nmeros
Computadores so mquinas matemticas
de manipuIar smboIos
QuaIquer comando que se d a um
computador produz a execuo de uma
funo matemtica de manipuIar smboIos
O computador mais simpIes poderia ter
um s tipo de instruo
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 67
17. Resumo da essncia dos computadores (cont.
Computadores so mquinas universais,
isto , quaIquer computador (dada
capacidade suficiente pode simuIar o
funcionamento de quaIquer outro
computador
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 68
1. ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs. crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 69
18. Mquinas podem ser inteIigentes?
Depende do critrio de inteIigncia
Ver meu artigo em meu site
IA - Inteligncia Artificial ou Imbecilidade Automtica? As
mquinas podem pensar e sentir?
Ex: jogar xadrez
Ver meu artigo
#eflexes sobre xadrez eletrnico
No um bom critrio
Quantas pessoas inteIigentes no jogam xadrez?
AIan Turing sugeriu o Teste de Turing (1950
Chamou de "Imitation game"
Uma pessoa fazer perguntas e descobrir se o
interIocutor uma pessoa ou um computador
Concurso anuaI: Loebner Prize Competition
No h nenhuma esperana de que um programa
passe o TT (KurzweiI prev para 2029: besteirol
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 70
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 71
19. InteIigncia e pensamento
CIaramente, a inteIigncia depende do
pensamento
No se tem dado a devida importncia ao
pensamento
Ver RudoIf Steiner, A Filosofia da Liberdade
Caracterstica fundamentaI:
Liberdade no pensamento
No pode ser provada, mas pode ser
vivenciada
Ex.: Iembrar a imagem de uma de duas Impadas
iguais coIocadas em posies opostas:
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 72
19. InteIigncia e pensamento (cont.
Admitindo-se, baseado em experincia
prpria, que o pensamento pode ser Iivre,
deve-se concIuir que
As mquinas JAMAIS pensaro como os
seres humanos
Pois as mquinas esto sujeitas s "Ieis" da
natureza, e eIas so inexorveis
Da matria no pode advir Iiberdade!
H aIgo dentro de ns que no segue as Ieis fsicas
ATENO: Isso uma HIPTESE DE TRABALHO, e no
uma crena
Baseada em observao interior
E na teoria a ser vista no item 20
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 73
19. InteIigncia e pensamento (cont.
Admitindo-se, baseado em experincia
prpria, que o pensamento pode ser Iivre,
deve-se concIuir que (cont.
Computadores podem simuIar pensamentos humanos,
mas s os matemticos, Igico- simbIicos,
aIgortmicos
Computadores jamais tero a inteIigncia humana
Os computadores so mquinas universais e os
sentimentos so absoIutamente subjetivos e
individuais
Portanto eIes jamais tero os sentimentos humanos
FiImes Artificial Intelligence (SpieIberg e Bicentennial
Man (CoIumbus so besteiris
Ver meu artigo sobre InteIigncia ArtificiaI
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 74
ndice
1. O ser humano uma mquina?
2. O que a "essncia" de um objeto?
3. O que faz um computador? Comparao com outras mquinas.
4. O que so dados?
5. O que informao?
6. O que conhecimento?
7. O que competncia?
8. QuaI o computador mais simpIes? Um critrio de simpIicidade.
9. A Mquina de Turing.
10. ExempIo de MT: verificar se um nmero binrio par.
11. Exerccios.
12. Caractersticas da MT.
13. Quantos tipos de instrues tem uma MT?
14. Tese de Church-Turing.
15. Por que AIan Turing desenvoIveu a MT?
16. A MT universaI.
17. Resumo da essncia dos computadores.
18. Mquinas podem ser inteIigentes? O Teste de Turing.
19. InteIigncia e pensamento. A Iiberdade do pensamento. Hiptese vs.
crena.
20. Transies no-deterministas na MT e em seres vivos.
21. O ser humano uma mquina?
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 75
20. Transies no-deterministas
Minha teoria de como aIgo no-fsico pode
infIuenciar aIgo fsico:
TRANSIES NO-DETERMINISTAS
Na Mquina de Turing:
s
i
s
j
s
k
Onde s
j
= s
k
e/ou y = z e/ou M
1
= M
2
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 76
20. Transies no-deterministas (cont.
ExempIos possveis nos seres vivos:
Um gene vrias protenas
Ateno: o que importa nos seres vivos so
as protenas, e no o DNA!
Ver meu artigo "Desmistificao da onda do DNA"
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 77
20. Transies no-deterministas (cont.
ExempIos possveis nos seres vivos (cont.:
Uma cIuIa em um certo estado
(a Pode permanecer como est
(b Pode comear a se subdividir (meiose, mitose
(c Pode comear a morrer (apoptose
Examinando-se uma cIuIa, no se pode
determinar quaI ser seu prximo estado!
Quais cIuIas de um tecido vo se subdividir?
(a)
Essncia dos computadores - 3/9/10 Valdemar W. Setzer 78
20. Transies no-deterministas (cont.