La hormiga de Langton es un autómata celular determinista estudiado en muchos campos, como la vida artificial, la complejidad computacional, la criptografía, la dinámica emergente, el gas de Lorents, y así sucesivamente, motivado por la dificultad de predecir el comportamiento macroscópico de la hormiga a partir de una configuración microscópica inicial. Gajardo, Moreira y Goles (2002) demostraron que la hormiga de Langton es PTIME-difícil para la alcanzabilidad. En un toro retorcido, demostramos que es PSPACE difícil determinar si la hormiga visitará alguna vez casi todos los vértices o casi ninguno de ellos.