A Máquina Universal de Turing (MUT) é um dispositivo teórico proposto pelo matemático e lógico britânico Alan Turing em 1936. A MUT é considerada a base teórica de todos os computadores digitais modernos, pois é capaz de executar qualquer cálculo matemático que possa ser descrito por um algoritmo.
A MUT consiste em uma fita infinita dividida em células, uma cabeça de leitura/escrita que pode mover-se sobre a fita e um conjunto finito de estados e regras que determinam a operação da máquina.
Os estados e regras são definidos por um programa, que pode ser alterado para executar diferentes cálculos.
A MUT é importante para a ciência da computação e para a inteligência artificial, pois permite entender o que é computável e o que não é, e fornece a base para a criação de algoritmos e linguagens de programação.