Finite macchine di Turing deterministiche.