FACULDADE ANHANGUERA EDUCACIONAL

Curso Cincias da Computao

Igor Pizza
Luis Penido






ATPS
Teoria da Computao









Santa Brbara D Oeste
2013




FACULDADE ANHANGUERA EDUCACIONAL






Igor Pizza RA
Luis Penido RA 2173259394





ATPS
Teoria da Computao
Professor Naor Garcia












Santa Brbara D Oeste
2013




Sumrio
Introduo .......................................................................................................................... 4
Passo 2 .............................................................................................................................. 5
Passo 3 .............................................................................................................................. 6
Passo 4 (Equipe) ................................................................................................................ 7
Passo 5 .............................................................................................................................. 8
Concluso .......................................................................................................................... 9
Referncias Bibliogrficas ................................................................................................ 10

































4

Introduo

Nesta ATPS desenvolveremos o problema proposto na etapa 3 da ATPS de Teoria da
Computao. Falaremos sobre Maquina de Turing, Maquina de Norma e Registradores.






















5

Relatrio 03 Mquinas Universais Turing


Passo 2

Considerar a quntupla MT = {e, i, i, e, s} de uma Mquina Universal de Turing onde:
e = estado atual
i = smbolo lido
i = smbolo a ser gravado
s = sentido do movimento (D ou E)
e = novo estado
MT (Maquina de Turing)

E I I' S E'
q0 0 1 D q2
q0 1 1 D q1
q1 0 0 D q2
q1 1 1 D q2
q2 0 1 D q1
q2 1 1 D q3
q3 0 0 E q4
q3 1 1 E q4
q4 0 para
q4 1 para











6


Passo 3

A mquina de Turing pode ser vista como um sofisticado leitor de fitas, com uma fita
arbitrariamente extensvel. A fita marcada nas seces, cada seco contm um " 1 ", um
" 0 " ou ser branca. Existe uma cabea que verifica uma seco de cada vez.
1- Escreve na fita
2- Altera o estado
3- Move a fita para Direita ou esquerda
As suas caractersticas e comportamento qualificam a Mquina de Turing como uma
mquina de estado finito (MEF), ou um autmato finito. Em qualquer momento, a mquina
est num estado descritivel. e, entre este momento e a prxima etapa discreta, a mquina l
a sua entrada da fita, consulta as regras que controlam o seu comportamento, e
considerando o input e o estado actual, determina qual o comportamento que deve efectuar
(isto apagar, escrever ou mover a fita) e que estado interno deve ser assumido.
Maquina Norma: Possui como memria um conjunto infinito de registradores naturais e trs
instrues sobre cada registrador:
1 - Adio do valor um;
2 - Subtrao do valor um;
3 - Testa se o valor armazenado zero.













7



Passo 4 (Equipe)


Reunir as anotaes dos membros do grupo e identificar a execuo da referida MT para as
sequncias de entrada apresentadas abaixo.

IN 0 1 1 0 1 0 0 0
OUT 1 1
IN 1 0 1 0 1 0 1 0
OUT 1 0 0
IN 0 0 1 1 1 0 0 0
OUT 1 1 1 1
IN 1 1 1 0 1 1 1 0
OUT 1 1 0


















8

Passo 5

Considerar Maquina de Norma com os registradores
A = 5 B = 3 C = 10 para D = C + A - B
D = 0
At C=0 faa (C-1; D+1)
At A=0 faa (D+1; A-1)
At B=0 faa (B-1; D-1)

C = C-1 = 9 D = D+1 = 1


C = C-1 = 8 D = D+1 = 2


C = C-1 = 7 D = D+1 = 3


C = C-1 = 6 D = D+1 = 4


C = C-1 = 5 D = D+1 = 5


C = C-1 = 4 D = D+1 = 6


C = C-1 = 3 D = D+1 = 7


C = C-1 = 2 D = D+1 = 8


C = C-1 = 1 D = D+1 = 9


C = C-1 = 0 D = D+1 = 10


A = A-1 = 4 D = D+1 = 11


A = A-1 = 3 D = D+1 = 12


A = A-1 = 2 D = D+1 = 13


A = A-1 = 1 D = D+1 = 14


A = A-1 = 0 D = D+1 = 15


B = B-1 = 2 D = D-1 = 14


B = B-1 = 1 D = D-1 = 13


B = B-1 = 0 D = D-1 = 12




A = 0 B = 0 C = 0 D = 12













9

Concluso

Conclumos ao final da etapa como que funcionam as maquinas de Turing e de Norma,
aprendemos como o registrador realizam suas tarefas, como o Turing grava na memria e
como funciona este processo.




























10

Referncias Bibliogrficas

http://www.ufrgs.br/alanturingbrasil2012/Maquina_de_Turing.pdf
www.univasf.edu.br/~marcus.ramos/tc-2011-1/