Machine de Turing qui inverse un ordre binaire
L'état les commence : le testina
de la lecture et de l'écriture est posizionata du côté gauche du
peu plus signicatif
Finale d'état : le testina de
la lecture et de l'écriture est posizionata sur le blanc ce precedeil
le peu plus signicatif
Algorithme de description :
) on est specchiatura effectué du n°
binaire avec l'axe de rotation autour au peu plus signicatif et à la
substitution copiée du peu avec l'autant de *.
b) le chiffre est remplacé que
précède le 1° * avec un autre * et il est allé transcrire au lieu
de dernier *
c) est retourné au 1° *, s'il
est un n° est retourné à l'étape b tandis que si c'est un blanc ils
décommandent tous * au bon péché quand ne rattrape pas un peu et il
est fini.
Matrix les fonctionne
|
b |
0 |
1 |
* |
description |
qo |
|
* sx q2 |
* sx q1 |
|
l'état les commence |
q1 |
1 dx q3 |
0 sx q1 |
1 sx q1 |
|
Je remplace avec 1 1° blanc qui la rencontre
allant du côté gauche |
q2 |
0 dx q3 |
0 sx q2 |
1 sx q2 |
|
Je remplace avec 0 1° blancs qui la rencontre
allant du côté gauche |
q3 |
|
0 dx q3 |
1 dx q3 |
* dx q4 |
J'essaye le premier * vers la droite |
q4 |
dx de b q5 |
* sx q2 |
* sx q1 |
* dx q4 |
J'essaye dernier * vers la droite |
q5 |
b q10dx |
* dx q8 |
* dx q6 |
* sx q5 |
Je remplace avec * le nombre 1ª du côté gauche
de * si c'est un blanc sort alors du cycle |
q6 |
sx de b q7 |
0 sx q7 |
1 sx q7 |
* dx q6 |
J'essaye dernier * vers la droite afin de la
remplacer avec 1 |
q7 |
|
|
|
1 sx q5 |
Je remplace avec 1 dernier * vers la droite |
q8 |
sx de b q9 |
0 sx q9 |
1 sx q9 |
* dx q8 |
J'essaye dernier * vers la droite afin de la
remplacer avec 0 |
q9 |
|
|
|
0 sx q5 |
Je remplace avec 0 dernier * vers la droite |
q10 |
|
0 sx q11 |
1 sx q11 |
b q10dx |
Je remplace tous * avec le blanc |
q11 |
|
|
|
|
But |
L'exemple du computazione de serre
b |
b |
b |
b |
q0 |
1 |
0 |
0 |
b |
|
b |
0 |
0 |
* |
* |
* |
q7 |
* |
b |
b |
b |
b |
q1 |
b |
* |
0 |
0 |
b |
|
b |
0 |
0 |
* |
* |
q5 |
* |
1 |
b |
b |
b |
b |
1 |
q3 |
* |
0 |
0 |
b |
|
b |
0 |
0 |
* |
q5 |
* |
* |
1 |
b |
b |
b |
b |
1 |
* |
q4 |
0 |
0 |
b |
|
b |
0 |
0 |
q5 |
* |
* |
* |
1 |
b |
b |
b |
b |
1 |
q2 |
* |
* |
0 |
b |
|
b |
0 |
q5 |
0 |
* |
* |
* |
1 |
b |
b |
b |
b |
q2 |
1 |
* |
* |
0 |
b |
|
b |
0 |
* |
q8 |
* |
* |
* |
1 |
b |
b |
b |
q2 |
b |
1 |
* |
* |
0 |
b |
|
b |
0 |
* |
* |
q8 |
* |
* |
1 |
b |
b |
b |
0 |
q3 |
1 |
* |
* |
0 |
b |
|
b |
0 |
* |
* |
* |
q8 |
* |
1 |
b |
b |
b |
0 |
1 |
q3 |
* |
* |
0 |
b |
|
b |
0 |
* |
* |
* |
* |
q8 |
1 |
b |
b |
b |
0 |
1 |
* |
q4 |
* |
0 |
b |
|
b |
0 |
* |
* |
* |
q9 |
* |
1 |
b |
b |
b |
0 |
1 |
* |
* |
q4 |
0 |
b |
|
b |
0 |
* |
* |
q5 |
* |
0 |
1 |
b |
b |
b |
0 |
1 |
* |
q2 |
* |
* |
b |
|
b |
0 |
* |
q5 |
* |
* |
0 |
1 |
b |
b |
b |
0 |
1 |
q2 |
* |
* |
* |
b |
|
b |
0 |
q5 |
* |
* |
* |
0 |
1 |
b |
b |
b |
0 |
q2 |
1 |
* |
* |
* |
b |
|
b |
q5 |
0 |
* |
* |
* |
0 |
1 |
b |
b |
b |
q2 |
0 |
1 |
* |
* |
* |
b |
|
b |
* |
q8 |
* |
* |
* |
0 |
1 |
b |
b |
q2 |
b |
0 |
1 |
* |
* |
* |
b |
|
b |
* |
* |
q8 |
* |
* |
0 |
1 |
b |
b |
0 |
q3 |
0 |
1 |
* |
* |
* |
b |
|
b |
* |
* |
* |
q8 |
* |
0 |
1 |
b |
b |
0 |
0 |
q3 |
1 |
* |
* |
* |
b |
|
b |
* |
* |
* |
* |
q8 |
0 |
1 |
b |
b |
0 |
0 |
1 |
q3 |
* |
* |
* |
b |
|
b |
* |
* |
* |
q9 |
* |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
q4 |
* |
* |
b |
|
b |
* |
* |
q5 |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
* |
q4 |
* |
b |
|
b |
* |
q5 |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
* |
* |
q4 |
b |
|
b |
q5 |
* |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
* |
q5 |
* |
b |
|
q5 |
b |
* |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
* |
q5 |
* |
* |
b |
|
b |
q10 |
* |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
1 |
q5 |
* |
* |
* |
b |
|
b |
b |
q10 |
* |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
q5 |
1 |
* |
* |
* |
b |
|
b |
b |
b |
q10 |
* |
0 |
0 |
1 |
b |
b |
0 |
0 |
* |
q6 |
* |
* |
* |
b |
|
b |
b |
b |
b |
q10 |
0 |
0 |
1 |
b |
b |
0 |
0 |
* |
* |
q6 |
* |
* |
b |
|
b |
b |
b |
q11 |
b |
0 |
0 |
1 |
b |
b |
0 |
0 |
* |
* |
* |
q6 |
* |
b |
|
|
|
|
|
|
|
|
|
|
b |
0 |
0 |
* |
* |
* |
* |
q6 |
b |
|
|
|
|
|
|
|
|
|
|