Finite macchine di Turing alternanti.