Máquinas de Turing en Teoría de la Computabilidad Definición Formal Una Máquina de Turing (MT) es un modelo matemático de…