Universaalne masin, tuntud ka kui universaalne Turingi masin või UTM, on Turingi masin, mis on võimeline simuleerima mis tahes teist Turingi masinat. Selle määratles matemaatiliselt Alonzo kirik, kes leiutas ka Lambda kalkulaadi. Kiriku töö, kombineerituna Turingiga, lõi ametliku arvutusteooria, mida tuntakse kui kiriku-turingu teesi.

Arvuti akronüümid, riistvara terminid