We can eliminate variable Dir if we put two substates into state MOVING eg. UP and DOWN. In that case arrows to and from MOVING state must have their starts or ends in appropriate substates.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License