Una máquina de Turing computa una determinada función parcial de carácter definido e unívoca, definida sobre las secuencias de posibles cadenas de símbolos de su alfabeto.