Emplacement Visité 499325 periodes Page Visitee 20 periodes Vous Etes ici: Etantonio/FR/Universita/1anno/FondamentiInformatica/ModelliCalcolo/Turing/     

Machine de Turing qui recherche un nombre sur bande sans limites

L'état les commence : le testina de la lecture et de l'écriture peut être posizionata sur une cellule laquelle de la bande.

Finale d'état : le testina de la lecture et de l'écriture est posizionata sur la figure moins signicative du n°.

Algorithme de description : puisque la bande est sans limites, la recherche du pu² de n° à ne pas se produire seulement dans un dos dans combien si c'est erroné, jamais ne rattrape le n° mêmes. La recherche se produit alternant les 2 étapes :

a) recherche du n° au sx avec le riscrittura du présent de X et l'écriture d'un X au lieu du blanc 1° qui suit le X.

b) recherche du n° au dx avec le riscrittura du présent de X et l'écriture d'un X au lieu du blanc 1° qui suit le X.

Quand le n° il vient caractérisé, vient décommandé tout le X inséré sur la bande et nous posiziona sur la figure moins signicative du n°.

Matrix les fonctionne

 

b

X

" à ? À

description

qo

Sx X q1

Dx X q0

au sx q2

insertion d'un X au dx au lieu du blanc 1°

q1

Dx X q0

Sx X q1

au dx q3

insertion d'un X au sx au lieu du blanc 1°

q2

dx de b q2

sx de b q2

au dx q4

il décommande le X au sx et au posiziona sur la figure plus signicative

q3

sx de b q3

dx de b q3

au dx q4

il décommande le X au dx et au posiziona sur le blanc successif à la figure moins signicative

q4

sx de b q5

 

au dx q4

posiziona sur la figure moins signicative

q5

       

L'exemple du computazione de serre

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