Macchina di Turing
Verificato
Significato di «Macchina di Turing»
Modello di calcolo astratto con nastro potenzialmente infinito e testina di lettura/scrittura che, tramite regole di transizione, definisce formalmente la nozione di funzione calcolabile.
Fonti: Modello fondante della calcolabilita. A. M. Turing, On Computable Numbers (1936); Sipser, Introduction to the Theory of Computation. Verifica web 2026-08-03. · Verificato il 2026-08-03