Ants on the highway

Anahí Gajardo, Victor Lutfalla, Michaël Rao

We perform intensive computations of Generalised Langton's Ants, discovering rules with a big number of highways. We depict the structure of some of them, formally proving that the…