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

Комп'ютерні абревіатури, терміни устаткування