Bajo su apariencia cotidiana, este problema es un ejercicio de precisión lógica. Todo depende de leer las reglas con cuidado y no perder el hilo de lo que ocurre paso a paso.
El semáforo que se reprograma solo
Enunciado
Un semáforo experimental tiene tres luces: roja \(R\), amarilla \(A\) y verde \(V\). Cada luz vale 1 si está encendida y 0 si está apagada.
Cada minuto se actualiza con esta regla: la roja toma el valor de \(\neg A\) (es decir, el contrario de \(A\): si \(A=0\), pasa a 1; si \(A=1\), pasa a 0), la amarilla toma el valor anterior de \(V\), y la verde toma el valor anterior de \(R\).
Si empiezas en \((R,A,V)=(0,0,0)\), ¿en qué minuto vuelve a aparecer por primera vez exactamente ese mismo estado?