Problem Set D Wrong Hint
We have been made aware that the hint given in exercise D2 a) of Problem Set D is wrong. In order to make the NBAs non-blocking, you will need four states for A1 and three states for A2. We are sorry for the confusion!
Your Verification Team