Académique Documents
Professionnel Documents
Culture Documents
SUMRIO
INTRODUO ............................................................................................................. 4
Introduo
Neste trabalho ser abordado sobre a mquina de Turing, introduzida por Alan
Turing como um modelo matemtico do processo de computao. Com a sua estrutura
simples, Turing pretendia, com sua definio, chegar a um modelo que fosse
universalmente aceito. A mquina de Turing o principal modelo usado para o estudo
do que ou no computvel.
Muito antes dos computadores modernos terem sido inventados, a teoria da
computao j havia sido iniciada e estava em desenvolvimento. Matemticos de todo o
mundo buscavam resolver problemas atravs de processos com um nmero finito de
passos que pudessem sempre retornar resultados corretos para uma mesma questo.
3
Mquina de Turing
Formalismo Definio
O smbolo de incio da fita sempre ocorre exatamente uma vez e na clula mais
esquerda da fita, auxiliando na identificao de que a cabea da fita se encontra na
clula mais esquerda da fita.
Fita de entrada/trabalho/sada
Subdividida em cdulas
Cada cdula contm um smbolo de um alfabeto
Por exemplo, { , 1 ,0 ,}
Primeira clula esquerda contm o smbolo
O smbolo representa o branco
Controle central
3. Reposicionar a cabea, que pode ser movida uma clula direita ou esquerda,
ou deixada no mesmo lugar;
{, 1 ,0 ,, A, B}
Reconhece toda e qualquer palavra formada por n smbolos 0 seguidos por n
smbolos 1, tal que n 1
o entrada = 0011
o sada = AABB
q q
q0 q0 +1
q0 0 q1 A +1
q1 0 q1 0 +1
q1 B q1 B +1
q1 1 q2 B -1
9
q2 B q2 B -1
q2 0 q3 0 -1
q2 A q4 A +1
q3 0 q3 0 -1
q3 A q0 A +1
q4 B q4 B +1
q4 qA 0
qA qA 0
qR qR 0
Procedimento Efetivo
Concluso
Bibliografia
http://www.dm.ufscar.br/hp/hp501/hp501001/hp501001.html - Acessado em
05/12/2010