Hello Professor, could you please clarify my understanding of the above formula:
I read the above as : On all paths , eventually there is 'a' and thereafter on all paths from 'a', the next state should also be 'a'. That is , in case there are multiple paths from the state that holds 'a', then all those paths should also have the next state as 'a'. If not the above statement is false.
Thanks a lot.