Transition System Problem


I’m very confused about this question, would it be correct to say that (a) is false since executing the state ~req ready being repeated would invalidate that statement ?
Transition System