Transition System

释义 Definition

（计算机科学/形式化方法）迁移系统 / 转换系统：一种用来描述“系统如何从一个状态通过某个动作（或条件）转到另一个状态”的抽象模型，通常由状态集合与状态之间的转移关系组成。（也常见扩展形式如“带标签迁移系统”。）

发音 Pronunciation (IPA)

/trænˈzɪʃən ˈsɪstəm/

例句 Examples

A transition system shows how a device moves between states.
迁移系统展示设备如何在不同状态之间切换。

In verification, we build a transition system for the software and then check whether every possible execution avoids errors.
在验证中，我们为软件建立一个迁移系统，然后检查所有可能的执行路径是否都能避免错误。

词源 Etymology

transition 来自拉丁语 transire（*trans-*“穿过” + ire“走”），本义是“穿越、经过”，引申为“转变、过渡”；system 来自希腊语 systēma，意为“组合在一起的整体”。合起来的 transition system 字面意思是“描述转变的系统”，在计算机科学里特指用状态与转移来刻画行为的形式模型。

相关词 Related Words

• Automaton
• State
• State Space
• Labeled Transition System
• Finite-State Machine
• Model Checking
• Process Algebra
• Kripke Structure
• Operational Semantics
• Transition Relation

文学与著作 Literary Works

• Robin Milner, Communication and Concurrency（讨论并使用带标签的迁移系统来刻画并发进程）
• Christel Baier & Joost-Pieter Katoen, Principles of Model Checking（以迁移系统/克里普克结构为核心建模对象）
• Colin Stirling, Modal and Temporal Properties of Processes（在进程性质与逻辑语义中使用迁移系统框架）
• Blackburn, de Rijke & Venema, Modal Logic（以状态-转移模型阐释模态逻辑语义）