Représentaiton artistique d'une machine de turing.

De façon schématique on peut représenter une machine de Turing comme une bande sur laquelle sont écrits des symboles et le long de laquelle vient pointer la tête de lecture/écriture d'une boite à états.

Machine de Turing dont la tête pointe sur la lettre « a » et qui est dans l'état q₂.

${\displaystyle \mathrm {\textvisiblespace} }$	a	b	${\displaystyle \mathrm {\textvisiblespace} }$	ruban
	↑
	q0 q1 →q2 boite à états

Plus formellement

Définition d'une machine de Turing

Une machine de Turing est un quintuplet ${\displaystyle M=(K,\Sigma ,\delta ,s,H)}$ où :

• ${\displaystyle K}$ est un ensemble fini d'états
• ${\displaystyle \Sigma }$ est un ensemble fini de lettres (un alphabet) avec deux lettres particulières :
  • ${\displaystyle \mathrm {\textvisiblespace} }$ (l'espace, qu'on matérialisera ici par ce caractère, parfois aussi noté ${\displaystyle b}$ pour "blank") ;
  • ${\displaystyle \triangleright }$ le symbole de début de bande ;
  • notez que ${\displaystyle \Sigma }$ ne contient pas ← et → (flèches gauche et droite), les symboles de contrôle qui permettent de déplacer la tête de lecture/écriture ;
• ${\displaystyle s\in K}$ est l'état de départ ;
• ${\displaystyle h\subset K}$ est l’ensemble des états d'arrêt ;
• ${\displaystyle \delta }$ est la fonction de transition.

Plus précisément ${\displaystyle \delta }$ est définie par : ${\displaystyle \delta$ :(K-H)\times \Sigma \to K\times \Sigma \cup \{\gets ,\to \}-\{\triangleright \})} telle que ${\displaystyle \delta (q,\triangleright )=(q',\sigma )}$ implique ${\displaystyle \sigma =\to }$ (c'est-à-dire que lorsqu'on est sur ${\displaystyle \triangleright }$ on ne peut faire que ${\displaystyle \to }$).

Exemples : ${\displaystyle M=(K,\Sigma ,\delta ,s,{h})}$ avec :

• ${\displaystyle K=\{q_{0},q_{1},h\}}$ ;
• ${\displaystyle \Sigma =\{a,\mathrm {\textvisiblespace} ,\triangleright \}}$ ;
• ${\displaystyle s=q_{0}}$

Représentation matricielle de ${\displaystyle \delta }$

		${\displaystyle \sigma }$
		${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle a}$
${\displaystyle K}$	${\displaystyle q_{0}}$	${\displaystyle (q_{0},\to )}$	${\displaystyle (h,\mathrm {\textvisiblespace} )}$	${\displaystyle (q_{1},\mathrm {\textvisiblespace} )}$
	${\displaystyle q_{1}}$	${\displaystyle (q_{1},\to )}$	${\displaystyle (q_{1},\to )}$	${\displaystyle (q_{0},a)}$

Exemple d'application de la machine sur un ruban

Étape	Représentation de l'image de la machine.
Étape 0	${\displaystyle \triangleright }$	a	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
	↑ ${\displaystyle q_{0}}$
Étape 1	${\displaystyle \triangleright }$	a	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
		↑ ${\displaystyle q_{0}}$
Étape 2	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
		↑ ${\displaystyle q_{1}}$
Étape 3	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
			↑ ${\displaystyle q_{0}}$
Étape 4	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
			↑ ${\displaystyle q_{1}}$
Étape 5	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
				↑ ${\displaystyle q_{0}}$
Étape 6	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
				↑ ${\displaystyle q_{1}}$
Étape 7	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
					↑ ${\displaystyle q_{0}}$
Étape 8	${\displaystyle \triangleright }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	a	a	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$	${\displaystyle \mathrm {\textvisiblespace} }$
					↑ ${\displaystyle h}$

Variantes

Diverses variantes des machines de Turing existe. Parmi les variations on distingue notamment :

• la possibilité d'écrire et déplacer la tête de lecture en même temps ;
• l'absence du symbole ${\displaystyle \triangleright }$ ;
• l’utilisation d'une bande infinie à droite et à gauche ;
• l’existence de symboles de contrôle, souvent noté $ ou €, n'appartenant pas à ${\displaystyle \Sigma }$ ;
• l’utilisation d'un ruban à plusieurs dimensions ;
• etc.