La máquina de Turing es un modelo matemático de computación algorítmica. El modelo de máquina de Turing captura todo lo que pueden hacer las computadoras modernas, y podrá hacerlo a menos que alguien presente un modelo de cómputo drásticamente diferente de todo lo visto hasta ahora.
Cuando decimos que la máquina de Turing es “la mejor máquina”, lo que realmente queremos decir es que cualquier cosa que pueda hacer una computadora real o un algoritmo, también puede hacerlo una máquina de Turing. Una máquina de Turing es la formulación matemática básica básica de cómo funciona una computadora.
También hay modelos alternativos de computación, como máquinas puntero, máquinas RAM, programas de ramificación, etc. pero todos ellos son equivalentes en potencia de cálculo a una máquina de Turing. Dado que la máquina Turing se encuentra entre el primer y más simple modelo, sigue siendo la elección de facto de los informáticos cuando razonan sobre la computación.
- ¿Cuál es la mejor manera de manejar los problemas de coma flotante con cálculos financieros en JavaScript?
- ¿Se puede enseñar el pensamiento matemático / lógico?
- ¿Quiénes son las estrellas en ascenso en la informática teórica?
- ¿Cuál es el papel de las matemáticas en la programación?
- Cómo entender el concepto matemático de la máquina de turing
Cuando decimos que una máquina de Turing no puede resolver el problema de detención, en realidad no es una declaración sobre la máquina de Turing, es más una declaración sobre la naturaleza de la computación en sí y nuestra comprensión de ella. Significa que el marco matemático moderno nos permite hacer declaraciones o formular preguntas que no puede responder de manera efectiva dentro del marco.
