Univerzálny stroj, tiež známy ako univerzálny stroj Turing alebo UTM, je stroj Turing schopný simulovať akýkoľvek iný stroj Turing. To bolo definované matematicky Alonzo Church, ktorý tiež vynašiel Lambda kalkul. Práca Cirkvi v kombinácii s Turingom vytvorila formálnu teóriu výpočtu známú ako cirkev-turingova práca.

Počítačové akronymy, Hardvérové ​​termíny