状态图 状态器是有限状态自动机的图形表示另一种可能的表示是状态转移表状态图有很多形式它们有稍微的差异并有不同的语义