III: Máquinas Turing Última actualización 30 oct 2022 Guardar como PDF 11.7: Otras lógicas 12: Computaciones de la máquina de Turing Page ID103645 Richard Zach et al.Open Logic Project ( \newcommand{\kernel}{\mathrm{null}\,}\) 12: Computaciones de la máquina de Turing12.1: Introducción12.2: Representando Máquinas Turing12.3: Máquinas Turing12.4: Configuraciones y cómputos12.5: Representación Unaria de Números12.6: Estados de detención12.7: Combinando Máquinas Turing12.8: Variantes de Máquinas Turing12.9: La Tesis Iglesia-Turing12.10: ResumenMostrar todo13: Indecibilidad13.1: Introducción13.2: Enumeración de Máquinas Turing13.3: El problema de la detención13.4: El problema de la decisión13.5: Representando Máquinas Turing13.6: Verificación de la Representación13.7: El problema de la decisión es irresoluble13.8: ResumenMostrar todo