可以学习到有限状态机的一些知识,以及介绍的stateWORKZ工具