Decidibilidad

Vamos a estudiar los conceptos de Decibilidad y el Problema de la Parada o la Detención.

Table of contents

• Máquinas de Turing Multi Cinta
• Funciones primitivas recursivas
• Función de Ackermann