Una máquina de Turing es un modelo de computación o un método hipotético de computar cosas, no una computadora que alguien construyó. No existen No te preocupes por cómo los hicieron.
El modelo es una máquina de estados (desde cada estado, dependiendo de las condiciones, puede hacer la transición desde otros estados) con memoria ilimitada pero altamente restrictiva.
Esa última pieza es su “cinta”, un concepto minimalista para almacenar información, que es que tiene:
- ¿La verificación de modelos está relacionada con la teoría de modelos?
- ¿Cómo podemos convertir una imagen en un sistema binario (0 y 1) o un código como QR?
- ¿Por qué es más fácil la adición de peano para una computadora?
- Tengo los datos de todos mis productos (altura-ancho-longitud) pero quiero encontrar el número óptimo de cajas N y el tamaño de cada N cajas (medidas como HWL). ¿Cómo puedo hacerlo?
- ¿Existe una función que crece más rápido que cualquier función computable, pero que crece a un ritmo fundamentalmente más lento que el de la función Busy Beaver?
- Un punto final fijo (una “dirección 0”),
- Sin preservación de datos (sobrescribe donde sea que escriba, por lo que no hay inserciones),
- Ninguna estructura de datos (aparte de lo que impone el programa),
- Un elemento tras otro, por lo que no hay direccionamiento (aparte de hablar relativamente),
La intención de Turing no tenía nada que ver con las computadoras (ya que ninguna existía realmente), sino que estaba interesado en cuáles eran las limitaciones de la computación. Es decir, ¿hay problemas que podamos identificar y darnos cuenta de que, no, no podemos encontrar una forma procesal de resolverlo? La “máquina” era un sustituto del experimento mental para cualquier sistema computacional, con instalaciones que están estrictamente limitadas en usabilidad (para que haya menos cosas de las que preocuparse) pero no en funcionalidad (para que cualquier cosa probada en la Máquina Turing también aplicar a un ejército de matemáticos que realizan cálculos con lápiz y papel).
