=== Semi-décision ===

Soit 
  * \$ M=\left(K, \Sigma, \delta, s,\left\{ h\right\} \right) \$ un MT,
  * \$\Sigma_0 \subseteq \Sigma\setminus \left\{\sqcup ,\triangleright\right\} \$
  * et \$ L \subset \Sigma_0^* \$

On dit que M __**semi-décide**__ L (ou __accepte__ L) si et seulement si <jsm>\forall \omega\in\Sigma_0^*, \quad \omega\in L \Leftrightarrow </jsm> M s'arrête avec l'entrée \$\omega\$.

__N.B.__ : <jsm>\forall \omega\in\Sigma_0^*, \quad \omega\notin L \Leftrightarrow </jsm> M boucle à l'infini avec l'entrée \$\omega\$.