==== Configuration (d'une MT) ====

Soit <jsm> M=\left(K, \Sigma, \delta, s, H\right)</jsm> une machine de Turing. Une __**configuration**__ de M est un élément de 
<jsmath>
K \times \triangleright\Sigma^* \times\left(\Sigma^* \left(\Sigma\setminus \left\{ \sqcup \right\}\right) \cup\left\{ e \right\} \right)
</jsmath>