Mesin universal, juga dikenal sebagai mesin Turing universal atau UTM, adalah mesin Turing yang mampu mensimulasikan mesin Turing lainnya. Itu didefinisikan secara matematis oleh Gereja Alonzo, yang juga menemukan kalkulus Lambda. Pekerjaan Gereja, dikombinasikan dengan Turing, menciptakan teori perhitungan formal yang dikenal sebagai tesis Church-Turing.

Komputer akronim, Istilah perangkat keras