Máquina de Turing

Alan Turing (1912-1954)

É um dispositivo teórico, conhecido como máquina universal, que foi concebido pelo
matemático britânico Alan Turing e proposto em 1936. É um modelo abstrato de um
computador, que se restringe apenas aos aspectos lógicos do seu funcionamento (memória,
estados e transições) e não à sua implementação física. Numa máquina de Turing pode-se
modelar qualquer computador digital.
É dotada de um cabeçote gravador/leitor, que opera sobre uma fita de entrada dividida em
células sucessivas que comportam um único símbolo. As computações das Máquinas de
Turing sobre os símbolos das células são extremamente limitadas.
Turing também se envolveu na construção de máquinas físicas para quebrar os códigos
secretos das comunicações alemãs durante a II Guerra Mundial, tendo utilizado alguns dos
conceitos teóricos desenvolvidos para o seu modelo de computador universal.

Definição formal:
Seja um conjunto de estados S e I um conjunto finito de símbolos da fita (alfabeto da fita),
incluindo o símbolo especial b. Uma Máquina de Turing é um conjunto de quíntuplas da forma
(s, i, i', s', d) que significam, respectivamente: estado atual (s), símbolo lido (i), símbolo
impresso (i’), novo estado (s’) e direção (d) (R ou L - Right (direita) e Left (esquerda)) e não há
mais de uma quíntupla começando pelos mesmos símbolos s e i. Essa restrição garante que
a ação da Máquina de Turing é determinística e completamente estabelecida pelo estado e
símbolo lido.

Exemplo de operação:
Considere a máquina de Turing definida pelo conjunto de quíntuplas que se segue:
(0, 0, 1, 0, R), (0, 1, 0, 0, R), (0, b, 0, 0, L), (1, 0, 0, 1, R), (1, 1, 0, 1, R)

A ação desta máquina ao processar qualquer fita em particular é mostrada pela seqüência de
configurações a seguir:
... b 0 1 1 0 b ... (0, 0, 1, 0, R)

(0, 1, 0, 0, R)
... b 1 1 1 0 b ...

(0, 1, 0, 0, R)
... b 1 0 1 0 b ...

... b 1 0 0 1 b ... (0, 0, 1, 0, R)

... b 1 0 0 1 b ... (0, b, 1, 1, L)

0
... b 1 0 0 0 1 b ... (1, 0, 0, 1, R)

... b 1 0 0 0 1 b ... (1, 1, 0, 1, R)

... b 1 0 0 0 0 b ...