La hipótesis es el estado en el que deberían estar cada uno de los semáforos en el siguiente instante de tiempo.