关于状态机由internal initial pseudostate启动的技术疑问

我对书籍中“状态机由内部初始伪状态（internal initial pseudostate）启动”的表述存在疑惑——单个状态理应由自身或外部初始伪状态启动，为何会由内部初始伪状态启动？我原本认为**entry behavior（进入行为）**才是状态启动的第一步。

书籍中对该状态机的说明如下：
在图18.27的State 1内部，State1的初始伪状态（item a）用于启动行为，首先触发entry action（进入动作）entryBehaviorS1（item b）并启动左侧的State 1.1。在State 1.1内部，初始伪状态通过启动entry behavior（item c）和State 1.1.1（item d）来启动State 1.1的行为。
当State 1.1.1的行为完成后，流程自动转移（item f）至State 1.1.2（item g）。当State 1.1.2结束后，流程转移至State 1.1的终态。由于这是终态，State 1.1内的所有行为均已完成，导致State 1.1结束并执行exit behavior（退出行为）exitBehaviorS1.1.1，随后通过自动完成转移（item i）进入State 1.2（item j），流程在此继续。
当State 1.2结束后，抵达终态（item k）并执行exitBehaviorS1（item L）。最终，执行至后续状态的自动转移（item m）。
核心逻辑在于，到达第N+1最低层级的终态会触发第N层级的完成事件与转移。例如，到达item h后会执行item i的转移。从初始伪状态进入某状态会触发下一更低层级初始伪状态的转移，例如item a之后会执行item d。该逻辑会在所有已定义的层级间循环往复。

核心逻辑解析 #

要理解这个问题，得从嵌套状态（复合状态）的启动规则入手：

• 外部与内部初始伪状态的分工
  外部初始伪状态负责整个状态机（或最顶层状态）的启动，作用是将流程导向第一个要进入的顶层状态（比如这里的State 1）；而内部初始伪状态是复合状态（包含子状态的状态，如State 1、State 1.1）特有的机制——当复合状态被外部触发进入后，需要内部初始伪状态来指定“进入后首先激活哪个子状态”，这是嵌套状态机推进流程的核心前提。

• entry behavior与内部初始伪状态的执行顺序
  你认为“entry behavior是第一步”的认知完全正确，书籍描述是将顺序整合表述：

  1. 流程进入复合状态（如State 1）时，首先执行该状态的entry behavior（entryBehaviorS1），这是状态进入的标准动作；
  2. 完成entry behavior后，复合状态通过内部初始伪状态（item a）触发转移，启动子状态State 1.1；
  3. 进入State 1.1时，重复上述逻辑：先执行它的entry behavior（item c），再通过内部初始伪状态激活子状态State 1.1.1。

• 复合状态无法“自身启动”的原因
  复合状态本质是一个容器，它的行为依赖子状态的执行。如果没有内部初始伪状态，复合状态进入后就没有明确的执行起点，流程无法推进——内部初始伪状态的作用就是给复合状态提供子层级的执行入口，让嵌套的状态机能够按层级有序启动。

简言之，外部初始伪状态管“进入哪个顶层状态”，内部初始伪状态管“进入复合状态后先跑哪个子状态”，entry behavior是每个状态进入时的必执行动作，三者各司其职，共同构成嵌套状态机的完整启动逻辑。

内容的提问来源于stack exchange，提问作者Sabine Meijran