变迁系统 在计算机科学和控制理论中变迁系统用数学的方法描述离散系统的行为变迁系统主要由状态和状态之间的状态迁移组成 有标号的变迁系统可以从已定义的标签集合中选择相应标签来标记状态迁移而且相同的标签可能被应用在多个状态迁移上 变迁系统也可以是无标记的此时也可以认为标签集合中只有单一标签元素从而省略了状态迁移上的标签记号 变迁系统在数学定义上和有向图一致但与有限状态自动机有一定不同 变迁系统的特点有 系统状态的集合不一定是有限的或可数的 状态迁移的集合不一定是有限的或可数的 变迁系统并不需要给出开始状态或最终状态 变迁系统可以表示为有向图有限状态自动机则不能