Mquina de Turing A Mquina de Turing foi proposta por Alan Turing em 1.936.

Trata-se de uma mquina de estado finito com a habilidade de ler suas entradas mais de uma vez e tambm de apagar ou substituir os valores de suas entradas. Tem tambm uma memria auxiliar ilimitada. Portanto a Mquina de Turing supera as deficincias das mquinas de estado finito. Definio: uma mquina de Turing consiste de uma mquina de estado finito, dividida em clulas, cada uma delas contendo mximo um smbolo de um alfabeto disponvel. A qualquer momento apenas um nmero finito de clulas contm valores. Considere o smbolo b para denotar uma clula vazia ou sem valor. A unidade de estado finito, atravs da sua cabea de leitura/gravao, l a clula da fita a cada momento. No pulso de relgio seguinte, dependendo do estado corrente da unidade e do smbolo lido, a unidade pode no realizar ao alguma, isto , ela pra, ou realizar tres aes: imprimir um smbolo do alfabeto na clula lida, podendo ser o mesmo que a clula j continha; passar ao estado seguinte, podendo este ser o mesmo estado que antes; mover a cabea de leitura/gravao uma clula para a esquerda (L) ou direita (R) As aes de uma mquina de Turing podems ser descritas por um conjunto de quintuplas do tipo (s,i',s', d) onde s, i, i', s' e d significam, respectivamente: estado atual, simbolo lido, smbolo impresso, novo estado e direo (R ou L - Right (direita) e Left (esquerda)).

Definio formal: Mquina de Turing - Seja um conjunto de estados S e I um conjunto finito de smbolos da fita (alfabeto da fita), incluindo o simbolo especial b. Um mquina de Turing um conjunto de quntuplas da forma (s,i, i', s', d) onde s, s'I e d {R,L} e no h mais de uma quntupla comeando pelos mesmos smbolos s e i

...

...

Unidade de estado-finito Fig. 1. Mquina de Turing Considere por exemplo a mquina na configurao mostrada na figura 2. Se operar de acordo com as instrues contidas na quntupla (2,1,0,1,R), deve mover-se para a configurao ilustrada na figura 3, como segue: ... b b 1 1 0 1 0 1 b b ...

2 Note que por definio: (s,i,i',s',d). De modo que 2 e 1 representam o estado atual e o simbolo lido. 0 o smbolo a ser impresso no lugar do 1. A mquina passa para o prximo estado, 1 e move-se para a direita. Assim: ... b b 1 0 0 1 0 1 b b ...

A restrio de que no pode haver mais de uma mquina de uma quntupla comeando pelos mesmos smbolos s e i garante que a ao da Mquina de Turing determinstica e completamente estabelecida pelos estados e smbolo lido atuais. Se uma mquina de Turing levada a uma configurao para a qual seu estado atual e o smbolo lido no so os primeiros dois smbolos de qualquer smbolo a mquina pra. Conveno: especifica-se um estado inicial fixo, denotado por 0, no qual a mquina inicia qualquer processamento. Tambm assume-se que uma configurao inicial para a cabea de leitura/gravao, a configurao na qual ela est posicionada sobre a clula mais a esquerda da fita que contenha valor, Se a fita estiver completamente vazia a cabea de leitura/gravao pode se posicionar em quaquer lugar. Exemplo: Considere a mquina de Turing definita pelo conjunto de quntuplas 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 ao desta mquina ao processar qualquer fita em particular mostrada pela sequncia de configuraes a seguir: ... b 0 0 ... b 1 1 0 ... b 1 0 1 0 ... b 1 0 0 1 0 ... b 1 0 0 1 b 0 ... b 1 0 0 0 1 ... b 1 0 0 0 1 1 ... b 1 0 0 0 0 b 1 ... b ... (1,1,0,1,R) 1 b ... (1,0,0,1,R) ... (0,b,1,1,L) b ... (0,0,1,0,R) 0 b ... (0,1,0,0,R) 1 0 b ... (0,1,0,0,R) 1 1 0 b ... (0,0,1,0,R)