Describir: Variedades, grupos y máquinas de Turing