Univerzalni stroj, također poznat kao univerzalni Turingov stroj ili UTM, je Turingov stroj sposoban simulirati bilo koji drugi Turingov stroj. Matematički ga je definirala Crkva Alonzo, koja je također izumila Lambda račun. Rad Crkve, u kombinaciji s Turingovim, stvorio je formalnu teoriju računanja poznatu kao teza Crkve-Turinga.
Računalni akronimi, Hardverski izrazi