Mquina de Turing que busca un nmero en una cinta ilimitada
El estado los comienza: el testina de la lectura y de la escritura puede ser posizionata en una clula cualquiera de la cinta.
Finale del estado: el testina de la lectura y de la escritura es posizionata en la figura menos significativa de la n.
Algoritmo de la descripcin: puesto que la cinta es ilimitada, la bsqueda de la PU de n a no suceder solamente en una parte posteriora en cunto si esto es incorrecto, nunca no coge para arriba la n iguales. La bsqueda sucede alternando los 2 pasos:
a) bsqueda de la n al sx con el riscrittura del presente de X y la escritura de un X en lugar de 1 en blanco que sigue el X.
b) bsqueda de la n al dx con el riscrittura del presente de X y la escritura de un X en lugar de 1 en blanco que sigue el X.
Cuando viene la n l caracterizado, viene cancelado todo el X insertado en la cinta y nosotros posiziona en la figura menos significativa de la n.
La matriz los trabaja
| b |
X |
" a a |
descripcin |
|
| qo |
Sx X q1 |
Dx X q0 |
al sx q2 |
insercin de un X al dx en lugar del 1 en blanco |
| q1 |
Dx X q0 |
Sx X q1 |
al dx q3 |
insercin de un X al sx en lugar del 1 en blanco |
| q2 |
dx de b q2 |
sx de b q2 |
al dx q4 |
cancela el X al sx y al posiziona en la figura ms significativa |
| q3 |
sx de b q3 |
dx de b q3 |
al dx q4 |
cancela el X al dx y al posiziona en el espacio en blanco sucesivo a la figura menos significativa |
| q4 |
sx de b q5 |
al dx q4 |
posiziona en la figura menos significativa |
|
| q5 |
El ejemplo del computazione de aprieta
| b |
1 |
2 |
b |
b |
b |
b |
bbbbbbb de b |
b |
b |
b |
1 |
2 |
b |
b |
| b |
1 |
2 |
b |
q0 |
b |
b |
b |
b |
b |
q0 |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
q1 |
b |
X |
b |
b |
b |
q1 |
b |
X |
1 |
2 |
b |
|
| b |
1 |
2 |
X |
q0 |
X |
b |
b |
b |
X |
q0 |
X |
1 |
2 |
b |
|
| b |
1 |
2 |
X |
X |
q0 |
b |
b |
b |
X |
X |
q0 |
1 |
2 |
b |
|
| b |
1 |
2 |
X |
q1 |
X |
X |
b |
b |
X |
q2 |
X |
1 |
2 |
b |
|
| b |
1 |
2 |
q1 |
X |
X |
X |
b |
b |
q2 |
X |
b |
1 |
2 |
b |
|
| b |
1 |
q1 |
2 |
X |
X |
X |
b |
q2 |
b |
b |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
q3 |
X |
X |
X |
b |
b |
q2 |
b |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
b |
q3 |
X |
X |
b |
b |
b |
q2 |
b |
1 |
2 |
b |
|
| b |
1 |
2 |
b |
b |
q3 |
X |
b |
b |
b |
b |
q2 |
1 |
2 |
b |
|
| b |
1 |
2 |
b |
b |
b |
q3 |
b |
b |
b |
b |
1 |
q4 |
2 |
b |
|
| b |
1 |
2 |
b |
b |
q3 |
b |
b |
b |
b |
b |
1 |
2 |
q4 |
b |
|
| b |
1 |
2 |
b |
q3 |
b |
b |
b |
b |
b |
b |
1 |
q5 |
2 |
b |
|
| b |
1 |
2 |
q3 |
b |
b |
b |
b |
||||||||
| b |
1 |
q3 |
2 |
b |
b |
b |
b |
||||||||
| b |
1 |
2 |
q4 |
b |
b |
b |
b |
||||||||
| b |
1 |
q5 |
2 |
b |
b |
b |
b |