Máquina de Turing

 Seminários em Filosofia das Ciências

Prof. Marco polo

Discente;GILMAR MILANI MENDES

Máquina de Turing
Problema da decisão da lógica de
primeira ordem
Máquina de Turing
problema da parada
 Máquina de Turing
a). Uma quadrado esta vazio ou contem algum
simbolo de um alfabete finito ∑={So,S1,...,Sn}

... .....
 Máquina de Turing

Cada quadrado esta vazio ou contem algum

simbolo de um alfabete finite
∑={So,S1,....,Sn}

...... So So Si Si Si Si So So So So
 Máquina de Turing
b).um cabeçote de leitura

1.Lê um símbolo
2.Sobrescreve um símbolo
3.Movimenta –se para a esquerda e para a direita
( um quadrado )
 Máquina de Turing
c).um registrador de estados
.... So So Si Si Si Si So So So So .....

q1

conjunto finito de estado possiveis;

Q={q1,q2,......,qn}
 Máquina de Turing
d).um conjunto finito/de instruçoes cada
instrução e uma quadrupla da forma

(qi,sj,§,ql)

1≤i,0≤j,l ≤ m,k≤n.
 Máquina de Turing
Uma instrução da forma (qi, sj, § ,ql), informa a
maquina de turing que ,estando ela na estado qi
e lendo o simbolo Sj,faça o seguinte;
se §= Sk , apague Sj e escreva Sk no quadrado
que esta sendo lido;
Se § =D, mora o cabeçote de leitura uma
quadrado para a direita .
Modique o estado atual da maquina para ql.
Exemplo;
Exemplo;
 Máquina de Turing
E uma quíntupla maquina de turing=
( Q, ∑, l, q1,F);
1.Q= {q1,q2....,qn} é o seu conjunto de estadas;
2.∑={So,S1,....Sn} é o seu alfabeto;

3.L ={i1,i2,...lj} e o seu conjunto de instruções;

q1 € Q o seu estado inicial;
F ≤ Q e um conjunto de estados finais.
Máquina de Turing.exemplo 1
1.exemplo
1.exemplo
1.exemplo
Maquina de turing
Primeiro computador
Pascaline, máquina
calculadora feita
por Blaise Pascal.
A PRIMEIRAS MÁQUINAS DE Computar

Réplica (parte) do
Calculador Diferencial
criado por Charles
Babbage.
Primeiro computador
Primeiro computador
Na segunda guerra mundial
Primeiro computador na ultima
geração
Novo geração
 Referência
 https://www.youtube.com/watch?v=INibxC6m
FPI
 //www.google.com/search?
q=+computador&tbm=isch&ved=
 https://www.youtube.com/watch?v=Vg6FzDsP
bC0
 https://pt.wikipedia.org/wiki/Computador