状态图与状态转换图
状态图与状态转换图：从形式化语义到工程建模的深度解析
本文写给所有试图用精确模型描述系统行为的技术人。全文约2万字，包含形式化定义、对比矩阵、实例推演和工程决策指南。
一、引言：为什么需要区分两个看似相似的概念？
在软件工程的文献和实践中，“状态图”与“状态转换图”这两个术语长期处于一种相互纠缠的状态。许多教科书不加区分地混用它们，导致设计者错误地选择了表达能力不足的模型，或在冗长的UML状态机中浪费了建模精力。
事实上，两者并非同一事物的不同名称，而是不同抽象层次、不同形式化背景、不同工程目的的行为建模工具。
状态转换图（State Transition Diagram，STD）源自自动机理论（1950s），是描述有限状态自动机（Finite Automata）的图形表示。它的核心是：状态 + 事件/条件 → 转移。表达力严格限定于正则语言（或下文下文下文下文）。
状态图（State Machine Diagram，SMD）是UML 1.x以来标准化的一种行为建模符号，基于David Harel在1987年提出的“Statecharts”。它在经典STD之上增加了层次化（嵌套状态）、正交（并发区域）、历史状态、动作（entry/exit/do）等特性，使其能够描述复杂反应式系统，表达能力等价于带变量的有限状态机（实质上达到图灵完备的某些子集）。
从历史演进看，STD是状态图的“底层语言”，而状态图是STD的“高级抽象”。理解二者的区别，是选择正确建模粒度的关键。
二、形式化定义与语义基础
2.1 状态转换图（STD）的形式化
一个有限状态自动机可以定义为五元组 M=(S,Σ,δ,s0,F)M=(S,Σ,δ,s0,F)：
SS：非空有限状态集合
ΣΣ：有限输入字母表（事件/条件）
δ:S×Σ→Sδ:S×Σ→S：状态转移函数（可能是部分函数）
s0∈Ss0∈S：初始状态
F⊆SF⊆S：终止状态集合（可选）
图形表示：节点表示状态，有向边表示转移，边上标注“事件[条件]/动作”。但在纯自动机理论中，动作通常不被视为输出，而是Mealy/Moore机的扩展。
表达能力：经典STD描述的语言类为正则语言。对于需要记忆历史上下文的行为（比如“过去发生了三次事件”），STD必须通过显式地增加状态来编码计数器，导致状态爆炸。
2.2 UML状态图的形式化扩展
UML状态图基于Harel Statecharts，引入了以下关键扩展：
层次化状态（Hierarchical States）：状态可以包含子状态，子状态可以进一步嵌套。转移可以跨层级触发。
正交区域（Orthogonal Regions）：状态可以划分为多个并发运行的子区域，用虚线分隔。
历史状态（History States）：
H*表示进入深层历史，H表示浅层历史，用于记录退出时子状态的最后活动配置。内部转移（Internal Transitions）：不触发状态退出的转换，如
entry/、exit/、do/活动。动作顺序：定义了完整的执行语义，包括进入、退出、转移动作的顺序。
表达能力：由于层次和并发的引入，状态