¿Qué significa que una máquina sea Turing completa?

Por Turing completo se entiende a aquel lenguaje que tiene un poder computacional equivalente a lo que se denomina Máquina de Turing Universal. Dicho de otro modo, Alan Turing ideó un sistema que en teoría podría realizar cualquier tipo de cálculo si se disponía de recursos físicos ilimitados.

¿Qué función tenía la máquina universal de Alan Turing?

Una máquina universal de Turing puede calcular cualquier función recursiva, decidir cualquier lenguaje recursivo y aceptar cualquier lenguaje recursivamente enumerable.

¿En qué consiste el concepto de la máquina de Turing?

En este texto veremos en qué consiste el concepto de la máquina de Turing, creada a mitad del siglo 30. Su contribución a la informática tal y como se conoce hoy es evidente, considerándose el modelo sobre el que se cimientan la lógica y la arquitectura de los actuales ordenadores.

¿Qué es el problema de la parada de la máquina de Turing?

Alan Turing, en su famoso artículo «On computable numbers, with an application to the Entscheidungsproblem » (1936), demostró que el problema de la parada de la máquina de Turing es indecidible, en el sentido de que ninguna máquina de Turing lo puede resolver.

¿Cuál es la similitud entre la máquina de Turing y los ordenadores?

Como puede apreciarse, existe clara similitud entre la máquina de Turing y los ordenadores que usamos hoy en día. Su aportación ha sido clave para avanzar exponencialmente en todo diseño informático posterior, hasta el punto de que su espíritu reside en el corazón mismo de una tecnología que nos permite mantenernos interconectados.

¿Cuál es la capacidad de cómputo de una máquina de Turing determinista?

La capacidad de cómputo de ambas versiones es equivalente; se puede demostrar que dada una máquina de Turing no determinista existe otra máquina de Turing determinista equivalente, en el sentido de que reconoce el mismo lenguaje, y viceversa.