"Dai tre esempi di una macchina di Turing non deterministica."
1. Oracoli di arresto simultaneo
2. Una macchina di Turing che risolve il problema dell'arresto
3. Una macchina di Turing che risolve il problema delle parole per i monoidi