UD5工具箱
什么是有限状态机（FSM）？
有限状态机是一种数学模型，用于描述系统在有限个状态之间的转换。它由状态集合、初始状态、转换规则组成，广泛应用于嵌入式系统、协议设计、游戏AI、UI交互等领域。状态机确保系统行为可预测、可验证。例如，一个简单的交通灯系统可以建模为三个状态（红灯、黄灯、绿灯）和对应的定时转换规则。使用本工具，您可以通过拖拽操作快速构建这样的状态模型，并自动生成对应的代码框架。
Mealy机与Moore机有什么区别？
Moore机的输出仅取决于当前状态，而Mealy机的输出取决于当前状态和输入事件。Moore机更稳定（输出与时钟同步），Mealy机响应更快（输出可随输入即时变化）。在状态图中，Moore机动作写在状态内，Mealy机动作写在转换上。本工具同时支持这两种风格的建模：您可以为状态配置进入和退出动作（Moore机风格），也可以为转换配置动作（Mealy机风格），甚至可以混合使用两种风格来满足不同的设计需求。
如何将状态图转换为C代码？
常用方法是使用switch-case结构配合枚举类型。每个case对应一个状态，在其中判断事件并执行转换。也可使用函数指针表实现更高效的状态机。本工具支持自动生成C、C++、Python、JavaScript等多种语言的代码框架。生成的C代码使用标准的switch-case模式，包含状态枚举定义、事件常量定义和状态处理函数，开发者只需补充具体的动作实现代码即可将状态机集成到项目中。
状态机在嵌入式系统中如何应用？
嵌入式系统中状态机广泛用于按键消抖、通信协议解析、电机控制、电源管理等场景。使用状态机可以避免复杂的嵌套if-else，使代码逻辑清晰、易于维护和调试。例如，一个按键消抖状态机可以包含"未按下"、"消抖等待"、"已按下"、"释放消抖"等状态，每个状态根据定时器事件和GPIO输入进行转换。通过本工具设计状态图并生成代码，可以大幅加速嵌入式开发流程。
什么是Guard条件？
Guard（守卫条件）是状态转换上的布尔表达式，只有当条件为真时转换才会发生。例如：从"等待"状态到"处理"状态，需要满足"数据就绪 AND 缓冲区未满"的Guard条件。Guard使得同一事件在不同条件下可以触发不同的状态转换，是实现复杂逻辑分支的关键机制。在本工具中，选中一条转换后可以在属性面板的Guard字段中输入任意布尔表达式，系统会在生成代码时自动处理条件判断。
自环转换（Self-loop）是什么？
自环是从一个状态出发又回到自身的转换。它表示在某个事件触发下执行动作但不改变状态。例如：状态"计数"中收到"递增"事件时count++但保持在"计数"状态。在本工具中，从一个状态节点拖拽箭头回到自身即可创建自环转换。自环在实际开发中非常常见，例如心跳检测、日志记录、累加计数等场景都会使用自环转换来实现重复性操作逻辑。
生成的代码可以直接使用吗？
本工具生成的代码是完整的状态机框架代码，包含状态枚举、事件定义和状态转换逻辑。生成的代码可以作为项目的起点直接使用，但具体的动作函数体（如进入状态时执行的操作、转换时的业务逻辑等）需要根据您的实际需求进行填充。建议将生成的代码复制到IDE中，然后逐步完善每个动作的具体实现，这样可以确保代码质量和业务逻辑的正确性。
工具支持哪些编程语言的代码生成？
本工具目前支持四种编程语言的代码生成：C语言（使用switch-case结构）、C++（使用面向对象的类封装）、Python（使用类和字典映射）和JavaScript（使用对象和函数）。每种语言的代码都遵循该语言的惯用模式和最佳实践。开发者可以根据项目的技术栈选择合适的语言进行导出，也可以同时生成多种语言的代码进行对比学习和参考。
是否需要注册或登录才能使用？
不需要。本工具是完全免费的在线工具，无需注册、登录或安装任何软件。打开浏览器访问工具页面即可直接使用。所有数据处理均在浏览器本地完成，不会向服务器发送任何数据，充分保护您的项目隐私和数据安全。您可以放心地在工具中设计和验证任何状态机方案，无需担心敏感信息泄露。