Toda máquina de Turing computa una cierta función parcial computable fija desde las cadenas de entrada sobre su alfabeto.