A Cellular Automaton. The Cohen-Kung Theorem guarantees that the ant's trajectory is unbounded.
References
Stewart, I. ``The Ultimate in Anty-Particles.'' Sci. Amer. 271, 104-107, 1994.
