Máquina de Turing

Incremento de 1 para números inteiros de 0 a 8 em base binária.

por Diego Cornélio

2º Ciclo - Matemática Discreta 2

Engenharia da Computação – INSTITUTO INFNET / Outubro - 2010
1
 Esta Máquina de Turing foi elaborada para simular um display digital de 4 bits
em sua fita. Neste modelo ocorre a contagem incremental de inteiros de 0 a 8 em
base binária.

Os símbolos % (marcador de início da fita) e B (Branco, que neste caso atua

como marcador de final da fita) servem de limites para leitura e escrita.

% 0 0 0 0 B

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

2
Diego Cornélio - Engenharia de Software INFNET
 Esta Máquina de Turing possui um Estado Q-0 que atua como inicial e final “contador”
enquanto Q-8 é o estado final definitivo pois nele zera-se a fita e encerra-se o ciclo.

Q-0 Q-8
B,B,L

Estado Inicial Estado Final Definitivo

ou Estado Final 2
Estado Final Contador
ou Estado Final 1

Por fim, a leitura do número é realizada da direita para esquerda (AZUL) e durante a
volta (VERDE), o número acrescido de um é escrito, possibilitando a leitura do resultado
da soma na sequência.No final, o display é zerado e pára no estado final Q-8.

LEITURA
ESCRITA

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

3
Diego Cornélio - Engenharia de Software INFNET
 0,0,R GRAFO: Máquina de Turing 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

4
Diego Cornélio - Engenharia de Software INFNET
 TABELA: Função Programa d

d 0 1 % (início da fita) B (BRANCO - fim da fita)

Q-0 (0, 0, R) (1, 1, R) (%, %, R) (B, B, L)
Q-1 (0, 1, L) (1, 0, L) (%, %, R) ######
Q-2 (0, 0, R) (1, 1, R) ###### (B, B, L)
Q-3 (0, 0, L) (1, 0, L) (%, %, R) ######
Q-4 (0, 0, R) (1, 1, R) ###### (B, B, L)
Q-5 (0, 1, L) (1, 1, L) (%, %, R) ######
Q-6 (0, 1, L) (1, 0, L) ###### (B, B, L)
Q-7 (0, 0, L) (1, 1, L) (%, %, R) ######
Q-8 (1, 0, R) (0, 0, R) ###### ######

LEGENDA:

R  Right.
L  Left.
######  Não há ação para leitura deste símbolo.

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

5
Diego Cornélio - Engenharia de Software INFNET
 0,0,R INÍCIO : 0000 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

6
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0000 | ESCRITA : 0001 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L

1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

7
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0001 | ESCRITA : 0010 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

0,1,L
B,B,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L

1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

8
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0010 | ESCRITA : 0011 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

0,1,L
B,B,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

9
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0011 | ESCRITA : 0100 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6

B,B,L

B,B,L

0,1,L
B,B,L

0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L

1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

10
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0100 | ESCRITA : 0101 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

11
Diego Cornélio - Engenharia de Software INFNET
 Alteração Explicativa
0,0,R LEITURA : 0101 | ESCRITA : 0110 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

12
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0110 | ESCRITA : 0111 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

0,1,L
B,B,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

13
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 0111 | ESCRITA : 1000 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6

B,B,L
B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L

1,0,L
%,%,R

Q-3

0,0,R
1,0,R
Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

14
Diego Cornélio - Engenharia de Software INFNET
 0,0,R LEITURA : 1000 | ESCRITA: 0000 1,1,R 1,0,L
%,%,R B,B,L
1,1,R 1,1,R
0,0,R 0,0,R
Q-0 Q-2 Q-4 Q-6
B,B,L

B,B,L

B,B,L

0,1,L
0,0, L
1,0,L

0,1,L
Q-1 Q-5 1,1,L
Q-7

%,%,R
0,1,L
1,0,L
%,%,R

Q-3

0,0,R
1,0,R
FINALIZA NO Q-8 (BRANCO) QUANDO NÃO DIRECIONA A OUTRO ESTADO Q-8
0,0,L B,B,L

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

15
Diego Cornélio - Engenharia de Software INFNET
 Fim

Máquina de Turing " Soma 1 em Sequência de Inteiros binários de 0 a 8"

Diego Cornélio - Engenharia de Software INFNET

16