Una macchina universale, anche conosciuta come Universal Turing machine o UTM, è una macchina di Turing in grado di simulare qualsiasi altra macchina di Turing. È stato definito matematicamente da Alonzo Church, che ha anche inventato il calcolo Lambda. Il lavoro della Chiesa, combinato con quello di Turing, ha creato una teoria formale della computazione conosciuta come la tesi di Church-Turing.

Acronimi di computer, termini hardware