基本思路状态描述转换 基本思路 转换系统：是一个状态机，包括一些状态和状态之间的转换。模型的目的：推导从某种初始状态到几种最终状态之间的一系列过渡。the arc-standard system for transition 状态描述 转换
