Pedir ayuda



La Máquina de Turing

Se llama Prueba o Test de Turing al procedimiento desarrollado por Alan Turing para corroborar la existencia de inteligencia en una máquina.El tema fue expuesto en 1950 en un artículo (Computing machinery and intelligence) para la revista Mind, y sigue siendo uno de los mejores métodos para los defensores de la Inteligencia Artificial.Se fundamenta en la hipótesis positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.  En particular Hilbert había planteado ciertascuestiones que derivaron en las teorías de la computación y la computabilidad, en concreto cual sería el significado de la computabilidad de un procedimiento. Para dar una definición matemáticamenteprecisa de lo que es un algoritmo, Turing ideó un dispositivo imaginario al que denominó Máquina de computación lógica LCM ("Logical Computing Machine"), pero que ha recibido en su honor el nombre demáquina de Turing. Aunque su propuesta es anterior a la aparición de los computadores digitales (1936 "On computable numbers, with an application to the Entscheidungproblem"), actualmente es elobjeto central de estudio de los teóricos de la computación.  Precisamente la definición moderna de lo que es "Computable" se basa en este concepto, y del mismo modo que cuando se habla de inteligenciaartificial es inevitable referirse al Test de Turing, cuando se habla de algoritmos y computación es casi inevitable encontrar alguna referencia a la máquina de Turing. los conceptos subyacentes en laidea han jugado un papel importante en las recientes teorías filosóficas sobre la mente.
Una máquina de Turing es un autómata que se mueve sobre una secuencia lineal de datos.  En cadainstante la máquina puede leer un solo dato de la secuencia (generalmente un carácter) y realiza ciertas acciones en base a una tabla que tiene en cuenta su "estado" actual (interno) y el último...