在状态图中定义的状态主要有：初态(即初始状态)、终态(即最终状态)和中间状态。在一张状态转换图中只能有一个初态，而终态可以有0至多个。