- En teoría, no hay diferencia entre una computadora y una máquina de Turing, por lo que no hay procesos que uno pueda hacer, aunque el otro no.
- En la práctica, cuando las personas hablan sobre lo que es posible en una UTM (una máquina de Turing con memoria / cinta infinita), están hablando de algoritmos, no de procesos.
La diferencia entre los dos es la siguiente: un algoritmo debe detenerse en algún punto, mientras que un proceso arbitrario puede contener un bucle infinito y, por lo tanto, no es un algoritmo.
El modelo UTM dice que es imposible hacer una declaración “siempre cierta” sobre un proceso con un bucle infinito, por lo que la informática se limita en gran medida a algoritmos, en lugar de procesos.
- Pero incluso aquí hay excepciones.
Por ejemplo, el bucle principal de un sistema operativo es solo finito debido a la posibilidad constante de desconectar y / o llamar a un apagado. Es infinito, porque bajo operaciones normales, es indeterminado (o / si eso sucede).
- ¿Existe alguna notación conveniente, como la notación factorial (n!) Para expresar la suma de todos los números contados del 1 al n?
- Cuando los matemáticos desarrollan algoritmos, ¿están haciendo informática?
- ¿Qué son las matemáticas discretas?
- ¿Cómo se usa el teorema de Bayes en robótica?
- ¿Qué significa T (n) en relación con O (n)?