状态机与状态图的定义是什么？

从广义上讲，状态机是一种记录下给定时刻状态的设备，它可以根据各种不同的输入对每个给定的变化而改变其状态或引发一个动作。在UML中，状态机由对象的各个状态和连接这个状态的转换组成，是展示状态与状态转换的图。
一个状态图本质上就是一个状态机，或者是状态机的特殊情况，它基本上是一个状态机中的元素的一个投影，这也就意味着状态图包括状态机的所有特征。状态图描述了一个实体基于事件反应的动态行为，显示了该实体如何根据当前所处的状态对不同的时间做出反应的。

略