Ejemplo 7.3.2 teórico (Contador de transiciones binario modulo 4)