automa universale

Enciclopedia della Matematica (2013)

automa universale


automa universale espressione utilizzata per indicare un automa in grado di calcolare i valori di una qualsiasi funzione calcolabile. In teoria della calcolabilità è sinonimo di → algoritmo. L’esempio fondamentale di automa universale è quello introdotto da A.M. Turing (→ Turing, macchina di).

Tag
Vocabolario
autòma
automa autòma (ant. autòmato) s. m. [dal lat. automătus, gr. αὐτόματος, agg., «che si muove da sé»] (pl. autòmi, ant. autòmati). – 1. Macchina che riproduce i movimenti (e in genere anche l’aspetto esterno) dell’uomo e degli animali. Quindi,...
universale¹
universale1 universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. di questo termine): legge dell’attrazione...