Quasi fatte macchine di Turing alternanti.