Máquina de Turing uitleg
ResumenRevisamos algunos trabajos relacionados con las pequeñas máquinas de Turing universales, los autómatas celulares y otros modelos simples de computación. Por ejemplo, ha sido una cuestión abierta durante algún tiempo si las máquinas de Turing universales más pequeñas conocidas de Minsky, Rogozhin, Baiocchi y Kudlek son simuladores eficientes (de tiempo polinómico) de las máquinas de Turing. Se trata de algunos de los dispositivos computacionales más intuitivamente sencillos y anteriormente las mejores simulaciones conocidas eran exponencialmente lentas. Discutimos trabajos recientes que demuestran que estas máquinas son efectivamente simuladores eficientes. Como resultado relacionado, también encontramos que la Regla 110, un autómata celular elemental muy conocido, también es eficientemente universal. También mencionamos algunos resultados nuevos sobre el tamaño de los programas universales, incluyendo nuevas máquinas de Turing universales pequeñas y nuevas máquinas de Turing universales semidébiles. A continuación, discutimos algunas ideas para trabajos futuros que surgen de estos y otros resultados.Palabras claveEstas palabras clave fueron añadidas por la máquina y no por los autores. Este proceso es experimental y las palabras clave pueden actualizarse a medida que el algoritmo de aprendizaje mejore.
Máquina de Turing eurorack
En matemáticas y en informática teórica, una máquina de Turing universal (UTM) (también conocida como calculadora universal, máquina universal (UM), máquina U, U y ATM) es una máquina de Turing que puede simular cualquier máquina de Turing en cualquier entrada. La Máquina de Turing Universal lo consigue esencialmente al leer tanto la descripción de la máquina a simular como su entrada desde su propia cinta.
El ordenador cotidiano se denomina a veces máquina de Turing universal. Por un lado, esto es correcto, ya que el principio de la máquina de Turing universal es que puede ejecutar un programa arbitrario con una entrada arbitraria; que es lo que los ordenadores cotidianos son prácticamente capaces de hacer. Por otro lado, la máquina de Turing universal teórica tiene una memoria infinita. Desde el punto de vista práctico, se puede decir que un ordenador cotidiano es una máquina de Turing universal, ya que la memoria que tienen la mayoría de los ordenadores es suficiente para muchos problemas, aunque esto no es correcto desde un punto de vista puramente teórico.
Máquina de Turing mínima
Shannon, Claude E.. “Una máquina de Turing universal con dos estados internos”. Automata Studies. (AM-34), Volumen 34, editado por C. E. Shannon y J. McCarthy, Princeton: Princeton University Press, 2016, pp. 157-166. https://doi.org/10.1515/9781400882618-007
Shannon, C. (2016). Una máquina de Turing universal con dos estados internos. En C. Shannon & J. McCarthy (Ed.), Automata Studies. (AM-34), volumen 34 (pp. 157-166). Princeton: Princeton University Press. https://doi.org/10.1515/9781400882618-007
Shannon, C. 2016. Una máquina de Turing universal con dos estados internos. En: Shannon, C. y McCarthy, J. ed. Automata Studies. (AM-34), volumen 34. Princeton: Princeton University Press, pp. 157-166. https://doi.org/10.1515/9781400882618-007
Shannon, Claude E.. “A Universal Turing Machine with Two Internal States” En Automata Studies. (AM-34), Volumen 34 editado por C. E. Shannon y J. McCarthy, 157-166. Princeton: Princeton University Press, 2016. https://doi.org/10.1515/9781400882618-007
Shannon C. Una máquina de Turing universal con dos estados internos. En: Shannon C, McCarthy J (ed.) Automata Studies. (AM-34), Volumen 34. Princeton: Princeton University Press; 2016. p.157-166. https://doi.org/10.1515/9781400882618-007
Enigma de la máquina de Turing
Describimos un campo emergente, el de la computabilidad no clásica y la maquinaria de computación no clásica. Según los no clasistas, el conjunto de cálculos bien definidos no se agota con los cálculos que puede realizar una máquina de Turing. Ofrecemos una visión general de este campo y una defensa filosófica de sus fundamentos
The Conscious Mind: In Search of a Fundamental Theory.David J. Chalmers – 1996 – Oxford University Press.The Sciences of the Artificial.Herbert Alexander Simon – 1969 – [Cambridge, M.I.T. Press.Brainstorms: Ensayos filosóficos sobre la mente y la psicología.Daniel C. Dennett (ed.) – 1978 – Bradford Books.The Emperor’s New Mind.Roger Penrose – 1989 – Oxford University Press.Remarks on the Philosophy of Psychology.Ludwig Wittgenstein – 1980 – Blackwell.Ver todas las 51 referencias / Añadir más referencias
Regularidad y creencia hiperreal.Kenny Easwaran – 2014 – Philosophical Review 123 (1):1-41.Significado de los modelos de computación, del modelo de Turing a la computación natural.Gordana Dodig-Crnkovic – 2011 – Minds and Machines 21 (2):301-322.La prueba de Turing.Graham Oppy & D. Dowe – 2003 – Stanford Encyclopedia of Philosophy.¿Computan las máquinas de Turing aceleradas lo incomputable?B. Jack Copeland & Oron Shagrir – 2011 – Minds and Machines 21 (2):221-239.¿Son las transiciones computacionales sensibles a la semántica?Michael Rescorla – 2012 – Australasian Journal of Philosophy 90 (4):703-721.Ver las 14 citas / Añadir más citas