¿Están algunas de las máquinas en ‘On Computable Numbers’ (A. Turing 1936) buggy?

No hay error Lea su definición de ” la secuencia calculada por la máquina “. Afirma:

Si una máquina a imprime dos tipos de símbolos, de los cuales el primer tipo (llamados figuras) consiste completamente en 0 y 1 (los otros se llaman símbolos del segundo tipo), entonces la máquina se llamará una máquina de cómputo. Si la máquina recibe una cinta en blanco y se pone en movimiento, comenzando desde la configuración m inicial correcta, la subsecuencia de los símbolos impresos por ella que son del primer tipo se denominará la secuencia calculada por la máquina .

En otras palabras, solo los símbolos 0 y 1 deben considerarse como parte de la secuencia calculada por la máquina . Entonces cuando escribe:

Se puede construir una máquina para calcular la secuencia 010101….

… puede haber otros símbolos (del “segundo tipo”) intercalados entre los 0 y los 1, pero no forman parte de la secuencia calculada por la máquina .

More Interesting

Como estudiante graduado de física teórica, ¿cómo puedo pasar a la investigación teórica en informática?

¿Tiene algún consejo para escribir propuestas de negocios que involucren informática teórica?

Si tengo un número (ej .: n = 28), ¿existe una fórmula cerrada para saber cuántos son los pares ordenados de números enteros (a, b) de manera que [matemáticas] a \ cdot b = n [/ matemáticas]?

¿Qué tan importante es el nuevo generador de números aleatorios PCG?

Si [math] \ mathbf F [/ math] no es un campo vectorial conservador, ¿eso significa que no hay una función [math] f [/ math] tal que [math] \ nabla f = \ mathbf F [/ math] ?

Cómo abordar problemas de cobertura de conjuntos en la programación de enteros

¿Cuál es la complejidad temporal de T (n) = T (n / a) + T (n / b) + cn cuando 1 / a + 1 / b> 1? Por ejemplo T (18n / 20) + T (5n / 20) + n.

¿Qué libros leerías para poder resolver el problema P versus NP por tu cuenta, recién salido de la escuela secundaria?

¿Por qué el costo amortizado de las operaciones n add (k) es log (k)?

¿Qué es una función indefinida? ¿Cómo se usa?

Cómo probar o refutar [math] \ log (n!) \ In \ Theta (n ^ 2) [/ math] en notación asintótica

¿Cuál es la mejor manera de dibujar gráficos extremadamente grandes?

¿Cuáles son algunos artículos clásicos sobre teoría de grafos?

Si [matemática] f (5) = 12 [/ matemática] y [matemática] f (10) = 18 [/ matemática] ¿qué significa [matemática] f (20) =? [/ Matemática] Cuándo (a) [matemática] f [/ math] es una función exponencial y (b) [math] f [/ math] es una función de potencia?

¿Qué entero decimal está representado por 0xE4 en una notación de complemento a dos de 8 bits?