Como se mencionó en el capítulo 2 sección 2.4, el diagrama de parejas tiene en su diagonal principal contenido al diagrama de de Bruijn, y los ciclos que aparezcan fuera de la diagonal principal indican dos formas distintas de producir una misma secuencia indefinidamente, teniendo esto en mente, el diagrama de parejas de un autómata celular reversible no contendrá ningún ciclo fuera de la diagonal principal ni algún ciclo que esté conectado con esta diagonal pues no puede existir una secuencia que se pueda repetir indefinidamente y que tenga en todos los casos más de un ancestro posible pues se perdería la biyectividad entre configuraciones.