Wolfram Computation Meets Knowledge

Wolfram Summer School


Emmanuel Garcés

Summer School

Class of 2010


Emmanuel Garcés is a computer scientist from Mexico City. He works on various topics for Wolfram|Alpha and teaches some NKS-related classes at the National Autonomous University of Mexico. His main interests include computability, irreducibility, information theory, bioinformatics, and complex systems. He has also developed software for telecommunication companies in Mexico.

Project: Word Equations

Complex behavior is typically generated by iterating some set of rules over some initial conditions. Another way to generate interesting behavior is to provide constraints. In this way, we can describe sets of words based on string equations. The aim of this project is to explore interesting behavior generated by word equations constraints and also to provide an algorithm to find the solutions, since it has been shown that this problem is decidable. The computational irreducibility of this system is also explored.

This picture shows a visualization of X vs Y for the solutions of the equation WXXZ = AYYYB such that the strings X and Y have no more than 10 characters.

Favorite Four-Color Totalistic Cellular Automaton

Rule 655508