Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...