Eine Universalmaschine, auch Universal-Turing-Maschine oder UTM genannt, ist eine Turing-Maschine, die jede andere Turing-Maschine simulieren kann. Es wurde mathematisch von Alonzo Church definiert, der auch den Lambda-Kalkül erfand. Die Arbeit der Kirche, kombiniert mit der von Turing, führte zu einer formalen Berechnungstheorie, die als Church-Turing-These bekannt ist.

Computerakronyme, Hardware-Begriffe