A Mquina de Turing

Jos Ewerton da Cruz de Souza, Fracimrio Barbosa, Carlos Eduardo Silva

Morais, Lvia Priscila Rodrigues de Oliveira

Bacharelado em Cincia da computao 1 semestre, 2011

Universidade do Estado do Rio Grande do Norte UERN, Ncleo avanado de
Ensino Superior, Nova Cruz RN.

ewertoncdes@gmail.com, mariobroder@ig.com.br,
novinhodosteclados@hotmail.com, livia-p@hotmail.com


Abstract.The Turing machine, conceived by Alan Turing in 1936, is a simple
theoretical machine capable of calculating any mathematical function
proposed by him years before the first digital computer. Based on a tape that
moves step by step to the left or right under a head that reads the contents of a
cell and it writes another, according to the characteristics of a transition
function.

Key words: Turing Machine, Alan Turing, automata.


Resumo. A Mquina de Turing, idealizada por Alan Turing, em 1936, uma
mquina terica simples capaz de calcular qualquer funo matemtica
proposta por ele anos antes do primeiro computador digital. Baseada em uma
fita que se movimenta passo a passo para a esquerda ou para a direita embaixo
de um cabeote, que l o contedo de uma clula e nela escreve outro, de
acordo com as caractersticas de uma funo de transio.

Palavras-Chaves: Mquina de Turing, Alan Turing, autmatos.


Introduo

No presente artigo visamos mostrar a histria de Alan Mathison Turing, criador
da mquina de Turing, bem como as caractersticas e tambm o funcionamento da
mquina de Turing produzida e nomeada assim por ele mesmo e tambm aplicaes em
determinadas situaes com autmatos quaisquer atravs de exemplos claros seguidos
de explicao voltados ao uso da mquina para tais casos.

Mquina de Turing

Alan Mathison Turing nasceu em 23 de junho de 1912 em Londres, filho de um
oficial britnico, Julius Mathison e Ethel Sara Turing, na infncia distraia-se fatorando
nmeros de hinos religiosos e desenhando bicicletas anfbias. Em 1928, Alan comeou
a estudar a Teoria da Relatividade, conhecendo Christopher Morcom, que o influenciou
profundamente.
Quando a II Guerra Mundial eclodiu, Turing foi trabalhar no Departamento de
Comunicaes da Gran Bretanha (Government Code and Cypher School) em
Buckinghamshire, com o intuito de quebrar o cdigo das comunicaes alems,
produzido por um tipo de computador chamado Enigma. Durante a guerra, Turing foi
enviado aos EUA a fim de estabelecer cdigos seguros para comunicaes
transatlnticas entre os aliados. Supe-se que foi em Princeton, NJ, que conheceu Von
Neumann e da ter participado no projeto do ENIAC na universidade da Pensilvnia.
Terminada a guerra, Alan se juntou ao National Physical Laboratory para
desenvolver um computador totalmente ingls que seria chamado de ACE (automatic
computing engine). Decepcionado com a demora da construo, Turing mudou-se para
Manchester e no dia 7 de junho de 1954, suicidou-se durante uma crise de depresso,
comendo uma ma envenenada com cianureto de potssio.
A mquina de Turing consiste em uma fita usada como dispositivo de entrada,
sada e memria de trabalho; unidade de controle (cabeote), a qual reflete o estado
corrente da mquina e possui uma unidade de leitura e gravao e uma funo de
transio que define o estado da mquina, os comandos de leituras, as gravaes e o
sentido de movimento, como esta ilustrado a baixo (Figura 1).





Figura 1. Modelo de Mquina de Turing.

Modelo Formal

Uma mquina de Turing pode ser definida como a 8-upla:
M= (, Q, , q0, F, V, , )

Onde:

= alfabeto de smbolos de entrada;
Q = Conjunto de estados possveis;
= Funes de transio;
q0 = Estado inicial;
F = Conjunto de estados finais;
V = alfabeto auxiliar;
= Smbolo especial branco;
Fita
Cabeote
Marcador de inicio de fita
Entradas Branco
= Marcador de inicio de fita. freqente no se incluir um marcador de inicio
de fita, quando usado, ocorre apenas uma vez, auxiliando na identificao de que
o cabeote da fita se encontra na clula mais a esquerda da fita.
A funo de transio considera o estado corrente e o smbolo lido para
determinar o novo estado, o smbolo gravado e o sentido do movimento. Assim, a
funo programa definida como: (p
i
, a
L
) = (q
i
, a
G
, m) , sabendo que ( p,q Q,
a
L,
a
G
\ ! . }) e m !l.l!).


Funcionamento da Mquina de Turing

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
(Figura 2).









Figura 2. Esquema de funcionamento da Mquina de Turing.


A cabea (ou cabeote) capaz de efetuar apenas trs aes:

1. Escrever na fita (ou apagar da fita), mas apenas na seco que est a ser verificada.
2. Alterar o estado interno.
3. Mover a fita 0 ou 1 espaos, para o esquerda ou direita.
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 descritvel. 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 atual, determina qual o
comportamento que deve efetuar (isto apagar, escrever ou mover a fita) e que estado
interno deve ser assumido. A tabela abaixo ilustra como devem ser as etapas de
transio de uma tpica Maquina de Turing (Figura 3).









Figura 3. Etapas de transio de uma Mquina de Turing na tabela.


A Mquina de Turing pode ser descrita como um mapa, descrevendo um
conjunto de aes para cada estado, ou um diagrama de transio de estado,
representando a mesma informao na forma de diagrama.
O processamento de uma Mquina de Turing M= (, Q, , q0, F, V, , )
para uma palavra de entrada w consiste na sucessiva aplicao da funo de transio a
partir do estado inicial e da cabea posicionada na clula mais a esquerda, at ocorrer
uma condio de parada(Diverio - 2008, p.86).
Assim, a execuo pode parar, quando ocorrer uma condio para tal, ou ficar
em loop infinito. O processamento para quando: a maquina assume um estado final; a
funo indefinida para o smbolo lido ou estado corrente; a funo define um
movimento impossvel de ser executado.
A potncia da Mquina de Turing reside na potencialidade de armazenando da
sua fita. A sua extenso infinita significa que o dispositivo pode recorrer a um espao
de armazenamento externo ilimitado como o papel para os seus clculos, produzindo
tambm um output de tamanho ilimitado. Assim, a fita guarda o input para a mquina,
age como armazenamento temporrio para os resultados parciais durante a execuo do
algoritmo, e o meio de output da Mquina de Turing.
A mquina final de Turing poderia ler qualquer conjunto de regras da sua fita.
Turing provou que tal mquina, seria tambm um computador universal, isto , poderia
emular toda a mquina cujo comportamento poderia ser simbolicamente descrito. Alm
disso, a Physical Church-Turing Hypothesis indicava que tal mquina poderia duplicar
no s as funes de mquinas matemticas, mas tambm as funes da natureza. No
entanto, h uma distino a fazer entre a parte estrutural de um computador e os dados
sobre os quais o computador opera. O computador no pode operar a partir da sua
prpria iniciativa; no pode alargar-se ou modificar-se, ou construir outros
computadores, assim, no pode exibir os comportamentos do crescimento, ou auto-
reparao, reproduo, metabolismo que so caractersticas tpicas da vida.

Exemplo de um autmato na Mquina de Turing






Figura 5. Diagrama
de Estados na soluo
de um problema
na Mquina de Turing.


O autmato na Mquina de Turing pode ser escrito com 5 elementos conforme a
tabela abaixo:

Estado inicial Caracter lido Estado seguinte Caracter escrito Movimento da cabea
1 1 2 1 >
2 1 2 0 >
2 3 <
3 0 H 1
Legenda: - = Caracter vazio; = Caracter sem movimento

Compactando a tabela o diagrama de transio ficar da seguinte maneira:

1 1 2 1 >
2 1 2 0 >
2 3 <
3 0 H 1


Consideraes Finais

No presente artigo mostramos Alan Mathison Turing, e sua famosa criao
Mquina de Turing, bem como seu funcionamento e caractersticas especificas,
podendo observar o quanto inovadora foi para a computao tal dispositivo terico,
tambm conhecido como maquina universal, criado muito antes dos modernos
computadores digitais. Vimos tambm que esta mquina a base para a computao
atual e o quanto importante para um futuro cientista da computao entender o
funcionamento da mesma, j que um dos primrdios da computao.

Referncias Bibliogrficas

Tiaraj Asmus Diverio, Paulo Blauth Meneses. Teoria da Computao: mquinas
universais e computabilidade. 2 ed Porto Alegre. Bookman: Instituto de
informtica da UFRGS, 2008.
[BRITTON, S.] Turing Machine Simulator (http://ironphoenix.org/tril/tm/).
Acessado em 28 de setembro de 2011.
[Osvaldo Antonio Pozza, Srgio Penedo] - A Mquina de Turing/ Mestres em Cincias
da Computao 1 trimestre, 2002/ CPGCC. Universidade Federal de Santa Catarina
(UFSC), Brasil (oapozza@bol.com.br, beneto@besc.com.br). Acessado em 28 de
setembro de 2011.
O que maquina de Turing? Disponvel em:
http://www.dm.ufscar.br/~caetano/iae2004/G12/funcao.htm. Acesso em 28 de
setembro de 2011.