Una máquina universal, también conocida como máquina de Turing universal o UTM, es una máquina de Turing capaz de simular cualquier otra máquina de Turing. Fue definido matemáticamente por la Iglesia Alonzo, que también inventó el cálculo de Lambda. El trabajo de Church, combinado con el de Turing, creó una teoría formal de cómputo conocida como la tesis de Church-Turing.

Siglas informáticas, términos hardware