Univerzalni stroj, znan tudi kot univerzalni Turingov stroj ali UTM, je Turingov stroj, ki lahko simulira vse druge Turingove stroje. Matematično jo je določila Cerkev Alonzo, ki je izumil tudi Lambda račun. Delo Cerkve, skupaj s Turingovim, je ustvarilo formalno teorijo računanja, znano kot teza Church-Turing.

Računalniške kratice, Strojna oprema