Универзална машина, такође позната као универзална Турингова машина или УТМ, је Турингова машина која може да симулира било коју другу Турингову машину. Математички га је дефинисао Алонзо Цхурцх, који је такође изумио Ламбда рачун. Рад Цркве, у комбинацији са Туринговим, створио је формалну теорију рачунања познату као теза Цркве-Туринг.

Рачунарски акроними, Хардваре термс