macchina di Turing: Definizione e Significato

macchina formale ideale in grado di eseguire ogni elaborazione in forma di procedura di calcolo