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

Contenido eliminado Contenido añadido
Sin resumen de edición
Sin resumen de edición
Línea 100:
 
Ja Mika Hirvensalo (Hirvensalo, 2004) y Colin P. Williams (Williams y Clearwater 1999), consideran una version más genérica de la MTP donde a partir de cada uno de los estados por los que pasa la máquina podemos obtener una serie de estados a los que nos podemos desplazar cuya suma de las probabilidades asociadas es uno. Una vez más, esta concepción de MTP no es muy diferente de la que hemos comentado originalmente.
 
==El juego de la vida==
 
Conway, en 1970, publicó un pasatiempo que ha dado que hablar. Se trata de un juego para 0 jugadores, que consta de una malla bidimensional donde se coloca la información: los bits. Estos 'unos' o 'ceros' se llamaban en el juego original 'células vivas' y 'células muertas' y a las transiciones:
 
;de 0 a 0: nada
;de 1 a 1: sobrevivir
;de 0 a 1: nacer
;de 1 a 0: morir
 
tras lo que se parte de:
 
* un estado inicial (la colocación de las células al comienzo)
* unas reglas, que ahora veremos
* 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
* Muere si tiene menos de dos vecinas (de 'soledad')
* 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 el estado inicial es el 'programa' que queremos que la máquina (juego) de la vida ejecute, y habiéndose construido patrones sobre esta malla que demuestran 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,...
 
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
* estudios económicos
* cambios en el paradigma de programación
* replanteamiento de problemas hasta ahora sin solución conocida...