En universel maskine, også kendt som en universel Turing-maskine eller UTM, er en Turing-maskine, der er i stand til at simulere enhver anden Turing-maskine. Det blev defineret matematisk af Alonzo Church, som også opfandt Lambda-beregningen. Kirkens arbejde kombineret med Turing skabte en formel teori om beregning, kendt som Church-Turing-afhandlingen.
Computer akronymer, Hardware vilkår