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

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