Универсална машина, известна също като универсална машина Тюринг или UTM, е машина на Тюринг, способна да симулира всяка друга машина на Тюринг. Тя е определена математически от Църквата на Алонзо, който също е изобретил Lambda calculus. Работата на Църквата, комбинирана с Тюринг, създава формална теория на изчисленията, известна като тезата на Църквата-Тюринг.

Компютърни съкращения, хардуерни термини