En términos ultra básicos, indica una computadora de propósito general y / o un lenguaje de programación que puede simular un UTM. Aquí hay una respuesta más larga basada en un tutorial que estoy escribiendo actualmente, en el que explico lo que la informática es para los que no son mayores.
Nota: cuando haya terminado con este tutorial, reemplazará mi respuesta a la respuesta de Marcas Neal a ¿Qué es la informática?
En su artículo de 1936 “Sobre números computables, con una aplicación al problema Entscheidungs”, que generalmente se abrevia a “Sobre números computables” (OCN), Alan Turing pregunta si algunos problemas son indecidibles o no. Un problema indecidible es un problema que es imposible de probar o refutar si hay una solución para todas las versiones posibles del problema.
- Si quisiera crear mi propia wiki que eventualmente podría monetizar a través de anuncios, ¿cuál sería la mejor / más rápida forma de hacerlo?
- ¿Cuál es el estado de aceptación en una máquina finita determinista?
- ¿Cuáles son algunos proyectos relacionados con la visión por computadora o la robótica que podría asumir por mi cuenta que mejorarían una o más de mis habilidades y agregarían valor a mi perfil?
- ¿Podría la tecnología VR salvar o destruir el planeta? Si tener relaciones sexuales con realidad virtual es tan bueno, las únicas personas que tienen relaciones sexuales reales serían aquellas que desean formar una familia.
- ¿Cuáles son los diversos tipos de semáforos disponibles en el kernel de Linux?
Turing limita su tesis en “Sobre números computables” a solo uno de esos problemas, construyendo una serie de computadoras teóricas que él llama “máquinas automáticas”, pero que todos los demás llaman máquinas de Turing. Una máquina Turing (TM) consiste en una caja que se encuentra en algún estado conocido en todo momento. Su entrada proviene de una cinta de papel que contiene un símbolo por celda (en el sentido en que Ada Lovelace lo definió en 1840). Para obtener más información sobre cómo funcionan las cintas de papel, consulte (https://en.wikipedia.org/wiki/Punched_tape).
El TM podría mover la cinta una celda hacia la derecha o hacia la izquierda por “ciclo de reloj”, y después de cada movimiento, podría leer lo que estaba en la cinta y / o escribir un nuevo símbolo en la cinta. Una TM es la máquina más simple posible que se puede utilizar para realizar todas las operaciones matemáticas conocidas.
La mayoría de las TM son relativamente poco interesantes, ya que solo pueden realizar tareas simples y relativamente simples, pero hay un tipo de TM que es muy interesante: la máquina universal de Turing (UTM). Lo que hace que un UTM sea especial es que es capaz de simular todos los demás TM, incluido otro UTM, como lo demostró Turing. Es por eso que un UTM es una computadora de uso general. La definición más comúnmente aceptada de una computadora de propósito general es cualquier máquina que pueda simular una UTM, con “simulación” que significa ejecutar una máquina que se emula completamente en “software”, en lugar de requerir una TM física para funcionar.
Por cierto, el nombre moderno para TM es programa. Cada TM representa un programa específico. Cabe señalar que uno de los requisitos técnicos de un UTM es imposible dentro del universo físico: una cinta infinita. Por esta razón, cada computadora de uso general jamás creada es una simulación de un UTM, no una máquina Turing universal.
