UD5工具箱
有限状态机（Finite State Machine, FSM）
有限状态机是一种抽象计算模型，由有限个状态、一个初始状态、一组输入事件和状态转换规则组成。在任意时刻，系统只能处于其中一个状态。当接收到输入事件时，系统根据当前状态和转换规则跳转到新的状态。FSM 广泛应用于协议设计、游戏AI、UI交互逻辑和嵌入式系统。在本工具中，您通过可视化界面创建的所有状态和转换共同构成一个完整的有限状态机。
状态（State）
状态是系统在某一时刻的完整描述。在状态机模型中，系统在任意时刻只能处于一个确定的状态。每个状态可以拥有自己的属性，包括名称、进入动作（onEnter）和退出动作（onExit）。在本工具中，状态以矩形节点的形式呈现在画布上，用户可以通过属性面板为每个状态配置名称、类型和动作。状态的命名直接影响生成代码的可读性，因此建议使用清晰且有意义的标识符。
转换（Transition）
转换描述了系统从一个状态跳转到另一个状态的过程。每条转换由触发事件驱动，并可以附带 Guard 条件和 Action 动作。在状态图中，转换用带箭头的连线表示，箭头方向指示转换的方向。转换是状态机的核心组成部分，它定义了系统的行为规则。本工具支持普通转换和自环转换两种形式，用户可以通过拖拽操作轻松创建和管理转换关系。
事件（Event）
事件是触发状态转换的外部或内部信号。在状态机中，当系统处于某个状态时收到一个事件，如果该事件匹配当前状态的某个转换规则，就会触发对应的状态跳转。事件可以是用户操作（如点击按钮）、系统信号（如定时器到期）或消息接收（如网络数据到达）。在本工具中，用户为每条转换指定一个事件名称作为触发器，该名称会出现在生成的代码中作为事件标识。
Guard 条件（守卫条件）
Guard 是附加在转换上的布尔表达式，只有当条件求值为真时，该转换才会被执行。Guard 允许在相同事件触发下，根据不同的条件选择不同的目标状态，从而实现更精细的控制逻辑。例如，从"等待"状态收到"数据到达"事件时，如果 Guard 条件"数据校验通过"为真，则转换到"处理"状态；否则转换到"错误"状态。在本工具的转换属性面板中，Guard 条件可以自由输入任意布尔表达式。
动作（Action）
动作是在状态转换过程中或进入/退出某个状态时执行的操作。动作分为三种类型：转换动作（Transition Action）在转换发生时执行；进入动作（onEnter）在进入某个状态时执行；退出动作（onExit）在离开某个状态时执行。动作可以是简单的赋值操作、函数调用或更复杂的业务逻辑。在本工具中，用户可以为状态配置进入和退出动作，为转换配置动作，实现完整的状态机行为定义。
初始状态（Initial State）
初始状态是状态机启动时自动进入的第一个状态。每个状态机必须有且仅有一个初始状态，它通常用一个实心圆点表示。初始状态不需要任何转换即可被激活，但从初始状态出发的转换决定了系统的第一个动作。在本工具中，用户可以在状态属性面板中将某个状态的类型设置为"初始"，工具会在生成代码时自动将该状态标记为入口点。
最终状态（Final State）
最终状态表示状态机流程的结束点。当系统进入最终状态后，通常不再响应任何事件（除非有特殊的重新启动机制）。最终状态在状态图中通常用一个双层圆圈表示。在本工具中，用户可以将某个状态的类型设置为"最终"，表示该状态为流程的终止节点。最终状态在建模流程性业务时非常有用，例如订单处理流程的"已完成"状态。
自环转换（Self-loop）
自环转换是指从一个状态出发又回到自身的转换。自环表示在某个事件触发下，系统执行相关动作但不改变当前状态。典型的使用场景包括：计数器在收到"递增"事件时增加计数值但保持在"计数"状态，或者状态机在收到"心跳"事件时更新时间戳但不跳转。在本工具中，从一个状态节点拖拽回自身即可创建自环转换，这在设计循环逻辑时非常实用。
Mealy 机与 Moore 机
这是两种经典的有限状态机变体。Moore 机的输出仅取决于当前状态，输出与输入事件无关，因此行为更加稳定和可预测。Mealy 机的输出取决于当前状态和输入事件的组合，响应速度更快但可能引入时序问题。在状态图中，Moore 机的动作标注在状态内部，Mealy 机的动作标注在转换上。本工具支持为状态配置进入/退出动作（偏 Moore 机风格），也支持为转换配置动作（偏 Mealy 机风格）。
状态图（State Diagram）
状态图是一种图形化表示有限状态机的工具，是 UML（统一建模语言）中的核心图之一。状态图用节点表示状态，用带箭头的连线表示转换，用圆圈表示初始和最终状态。通过状态图，开发者可以直观地理解系统的行为逻辑和状态流转路径，比阅读纯代码更加高效。本工具的核心功能就是帮助用户在可视化画布上绘制状态图，并将图形化设计转化为可执行的代码。