Diferencia entre revisiones de «La tesis de Church-Turing/Otras Máquinas»

Contenido eliminado Contenido añadido
Línea 112:
 
==El juego de la vida==
 
Otro sistema del mismo poder computación que la máquina de Turing es el '''juego de la vida'''.
 
En 1970, Conway publicó un pasatiempo que se ha hecho famoso. El '''juego de la vida''' es un juego donde no existen jugadores, está formado por una malla bidimensional donde se coloca la información: los bits, aunque originalmente, se trataban de células que podían estar vivas (1) o muertas (0), en un principio tan sólo era un juego.
Línea 121 ⟶ 123:
 
 
EnSe el juego original, los ''unos'' y/o ''ceros'' recibían el nombre de "células vivas" y "células muertas", respectivamente. Además, se realizabanrealizan una serie de transiciones, segúnen lasel que las células pasabanpasan de un estado a otro. ALas continuación,acciones seque describenpueden dichasdarse transicionesen la malla son:
 
En una celda vacía puede:
* '''De 0 a 0:''' nada
*Aparecer una nueva => nace una célula
* '''De 1 a 1:''' sobrevivir
*Siga la celda vacía => no ocurre nada
* '''De 0 a 1:''' nacer
* '''De 1 a 0:''' morir
 
En una celda ocupada:
*Desaparece la célula => muere
*Permance => sobrevive
 
Una vez que se ha explicado, aproximadamente elEl funcionamiento de este juego, estiene necesariotres recalcarpuntos que partimos declaves:
 
* un estado inicial (la colocación de las células al comienzo)
Línea 135 ⟶ 139:
* un estado final (si para)
 
En esta máquina (¿o en este juego?) las reglas que dominan los nacimientos y muertes no están determinados por un 'programa' externo ni por un algoritmo que se guarde independientemente de los datos. El comportamiento está implícito en la colocación de las células:
 
* Una célula nace si tiene 'exactamente' tres vecinas
* MuereUna céluda muere si tiene menos de dos vecinas (de 'soledad')
* MuereUna céluda muere si tiene más de tres vecinas (de 'superpoblación')
 
Que se puede codificar como 23/3 (Vecinas para sobrevivir/Vecinas para nacer). Existen variantes posteriores que modifican estos parámetros con la intención de que la máquina simule o no determinados comportamientos. Existe un conjunto de parámetros, por ejemplo, que hace que la máquina pueda contener patrones que se replican.
 
Entendiendo que elEl estado inicial es el 'programa' que queremos que la máquinael (juego) de la vida ejecute,. ySe habiéndosepueden construidoconstruir patrones sobre esta malla que demuestrandeterminan que el poder computacional es equivalente al de la máquina de Turing, no han sido pocos quienes han construido patrones sobre la misma que generan sucesiones de números primos, puertas lógicas, sumadores, contadores,...
 
Existen numerosos patrones que generan sucesiones de números primos, puertas lógicas, sumadores, contadores,...
Como siempre, lo más divertido son los bucles infinitos, digo los patrones que no dejan de crecer o no se estabilizan. Probablemente lo más interesante, sin embargo, es si la concepción de que los datos evolucionan según su disposición y unas reglas simples en vez de según únicamente reglas complicadas puede ser útil para:
 
Como siempre, lo más divertido son los bucles infinitos, digo los patrones que no dejan de crecer o no se estabilizan. Probablemente lo más interesante, sin embargo, es si la concepción de que los datos evolucionan según su disposición y unas reglas simples en vez de según únicamente reglas complicadas puede ser útil para:
 
* estudios sociológicos
Línea 151 ⟶ 157:
* cambios en el paradigma de programación
* replanteamiento de problemas hasta ahora sin solución conocida...