 Donner trois exemples de machine de Turing non déterministe.
 1. Oracles d'arrêt simultanés\n2. Une machine de Turing qui résout le problème d'arrêt\n3. Une machine de Turing qui résout le problème de Word pour les monoïdes