一个状态图最多只能有一个初态和一个终态。