Transition Relation

释义 Definition

transition relation（状态）转移关系：在数学、逻辑与计算机科学中，用来描述系统从一个状态到另一个状态如何发生变化的关系，常写作 ( \rightarrow ) 或 (R\subseteq S\times S)。在“转移系统/自动机/模型检测”等语境里，它规定“哪些下一步是允许的”。

发音 Pronunciation (IPA)

/trænˈzɪʃən rɪˈleɪʃən/

例句 Examples

A transition relation tells you which state can follow another.
转移关系告诉你某个状态之后可以到达哪些状态。

In model checking, the transition relation defines all possible next steps of the system under every action.
在模型检测中，转移关系定义了系统在各种动作下所有可能的下一步演化。

词源 Etymology

transition 来自拉丁语 *trans-*（“穿过、跨越”）+ itio（“行走、前进”），引申为“从一种状态走到另一种状态的变化”。relation 来自拉丁语 relatio（“联系、关联”）。合起来，transition relation 字面意思就是“关于状态变化的关联/规则”。

相关词 Related Words

• State
• Transition
• Relation
• Transition System
• Automaton
• Kripke Structure
• Semantics
• Reachability
• Bisimulation
• Model Checking

文献与作品 Literary / Notable Works

• Model Checking（Edmund M. Clarke, Orna Grumberg, Doron A. Peled）
• Principles of Model Checking（Christel Baier, Joost-Pieter Katoen）
• Introduction to Automata Theory, Languages, and Computation（Hopcroft, Motwani, Ullman）
• Communication and Concurrency（Robin Milner）
• The Temporal Logic of Reactive and Concurrent Systems（Zohar Manna, Amir Pnueli）