- fsm包含三个组件：状态（必须有）、动作（非必须）、事件（非必须）
- 状态：体现当前状态机处在状态，比如，开状态，关状态等，同时状态有一个访问次数/visit的值，这个决定它需要触发多次才能发生状态转移，这里这个值为整数值，即0到无穷大。
- 事件：主要指的是触发状态改变的那一类事件，比如，按下开关的事件等
- 动作：指的是事件发生后，伴随发生的动作，比如：按下开关事件触发了灯泡打开动作，同时状态由关闭状态跳转到打开状态
工具推荐
1 https://www.processon.com/diagrams
2 visio