Siguiente: Introducción a las máquinas Un nivel arriba: Conceptos básicos Anterior: Funciones computables

Máquinas de Turing

Las máquinas de Turing son autómatas que pueden ser vistos como mecanismos formales de cómputo y, en términos de ellas, plantear de manera alternativa la noción de computabilidad.