El Juego de la Vida: una máquina universal de Turing

Olano Guillén, Berta
Ciria Cosculluela, José Carlos (dir.)

Universidad de Zaragoza, CIEN, 2024
Departamento de Informática e Ingeniería de Sistemas, Área de CC. de la Computación e Inteligencia Artificial

Graduado en Matemáticas

Resumen: El Juego de la Vida, desarrollado por el matemático John Conway en 1970 es aparentemente un modelo sencillo: una cuadrícula 2-dimensional de células, vivas o muertas que evolucionan siguiendo dos únicas reglas.
El objetivo de este trabajo es mostrar cómo de esa aparente simplicidad pueden emerger comportamientos complejos con interesantes propiedades computacionales. En concreto, se trata de demostrar que puede actuar como una máquina de Turing. Una máquina de Turing es un modelo teórico de computación, capaz de implementar algoritmos.
A lo largo del desarrollo, exploramos dos argumentos que tratan de mostrar que es Turing-universal, es decir, que es capaz de realizar cualquier cálculo. Así mismo, estudiamos la robustez del Juego de la Vida y cómo varía su capacidad computacional si variamos sus reglas.

Tipo de Trabajo Académico: Trabajo Fin de Grado