UD5工具箱
状态是有限状态机的基本组成部分，表示系统在某一时刻的特定条件或模式。每个状态都有唯一的标识符，通常用字母数字组合表示（如q0、q1、A、B等）。在状态机中，系统在任意时刻只能处于一个状态。状态之间的转换由输入事件触发。
与本工具的关系：在本工具中，状态以圆形节点表示，用户可以通过双击画布添加新状态，通过拖拽调整状态位置，通过双击修改状态名称。
转换是状态之间的有向连接，表示系统在特定条件下从一个状态移动到另一个状态。转换通常由输入事件触发，可以带有标签描述触发条件。转换可以是单向的，也可以是双向的。在确定性有限状态机中，对于每个状态和输入，最多只有一个转换。
与本工具的关系：在本工具中，转换以带箭头的连线表示，用户可以通过拖拽创建转换，通过双击编辑转换标签。
初始状态是状态机开始执行时的起始状态。每个有限状态机必须有且只有一个初始状态。在状态图中，初始状态通常用一个指向它的无源箭头表示。当状态机启动时，它会自动进入初始状态，然后根据输入事件进行状态转换。
与本工具的关系：在本工具中，用户可以通过选中状态并点击"设为初始状态"按钮来设置初始状态。工具会自动为初始状态添加箭头标识。
接受状态也称为终止状态或最终状态，表示状态机在接受输入序列后达到的一个"成功"状态。当状态机在处理完输入后处于接受状态时，表示该输入序列被接受。接受状态通常用双圈表示。一个状态机可以有零个、一个或多个接受状态。
与本工具的关系：在本工具中，用户可以通过选中状态并点击"切换接受状态"按钮来设置或取消接受状态。接受状态会用特殊样式显示。
确定性有限状态机（Deterministic Finite Automaton, DFA）是一种特殊的有限状态机，对于每个状态和输入符号，最多只有一个确定的转换。DFA在任何时刻都处于唯一确定的状态，输入序列完全决定了状态转换序列。DFA是理论计算机科学中的重要概念，广泛应用于词法分析、模式匹配等领域。
与本工具的关系：本工具主要支持设计确定性有限状态机，用户需要确保每个状态对于每个输入符号最多只有一个转换。
非确定性有限状态机（Nondeterministic Finite Automaton, NFA）允许对于同一个输入符号存在多个可能的转换，甚至可以包含空转换（不消耗输入的转换）。NFA在理论上与DFA等价，任何NFA都可以转换为等价的DFA。NFA在正则表达式实现和形式语言理论中有重要应用。
与本工具的关系：虽然本工具主要面向DFA设计，但用户也可以设计简单的NFA结构。对于复杂的NFA，建议使用专门的NFA工具。
字母表是有限状态机可以接受的所有输入符号的集合。字母表中的每个元素都是一个输入符号，可以是字母、数字、字符或其他符号。字母表通常用希腊字母Σ表示。状态机的转换标签由字母表中的符号组成，定义了触发转换的输入条件。
与本工具的关系：在本工具中，用户在转换标签中输入的字符都应该来自所设计状态机的字母表。字母表的选择取决于具体应用场景。
输入字符串是字母表中符号的有限序列，是状态机的处理对象。状态机从初始状态开始，依次读取输入字符串中的每个符号，根据当前状态和输入符号进行状态转换。当输入字符串处理完毕后，如果状态机处于接受状态，则该字符串被接受。
与本工具的关系：用户可以设计状态机来识别特定模式的输入字符串。通过可视化状态转换过程，可以直观理解状态机如何处理输入。
状态转换表是有限状态机的另一种表示形式，以表格形式列出所有状态和输入符号的转换关系。表格的行表示当前状态，列表示输入符号，单元格内容表示转换的目标状态。状态转换表与状态图等价，但更适合形式化分析和算法实现。
与本工具的关系：本工具导出的JSON文件包含了完整的状态转换信息，可以轻松转换为状态转换表格式，便于进一步分析。
正则语言是可以被有限状态机识别的语言类。正则语言可以用正则表达式描述，也可以用DFA或NFA识别。正则语言是乔姆斯基语言层次结构中的最简单层次，具有良好的封闭性和可判定性。正则语言在文本处理、编译器设计、网络协议等领域有广泛应用。
与本工具的关系：用户可以使用本工具设计能够识别特定正则语言的状态机，通过可视化方式理解语言的结构特征。