nome del matematico e logico matematico inglese Alan Mathison Turing (1912–54)
Polirematiche
macchina di Turing loc.s.f. TS inform. m. formale in grado di eseguire ogni elaborazione algoritmica, usata in logica matematica e in informatica teorica, per definire il concetto di computabilità