Máquinas que comen otras máquinas (1a parte)
Channel: Ivan Vladimir Meza Ruiz
Date: 27/04/2020

Decidibilidad en Máquinas de Turing
Descripciones estándar de una MT
Máquinas que aceptan otras máquinas
Problema del paro
Complementos de máquinas no decidibes
Lenguajes recursivos, recurrentes enumerables
Lenguajes en RE y co-RE