(a) Bound to recognize a new state
(b) Not bound to do so
(c) Required to enter into dialog with the new state for recognition