arXiv · nlin/0306022
Complexity of Langton's Ant
Abstract
The virtual ant introduced by C. Langton has an interesting behavior, which has been studied in several contexts. Here we give a construction to calculate any boolean circuit with the trajectory of a single ant. This proves the P-hardness of the system and implies, through the simulation of one dimensional cellular automata and Turing machines, the universality of the ant and the undecidability of some problems associated to it.
Explore related subjects
Keep this discovery
Anahi Gajardo, Andres Moreira, Eric Goles. 2003-06-13. Complexity of Langton's Ant. https://arxiv.org/abs/nlin/0306022
Cite the original work for its findings. Save a collection to share your selection of sources.