结 另请参阅: + 有限自动机的第一步 有限自动机运行的逻辑 状态机的层次结构 时间逻辑运算符 节点(连接结) —这是系统中过渡的交汇点。 节点可以是交汇点、分支点或过渡端点。 如果从一个节点的过渡形成一个循环，那么必须始终从该循环的每个节点进行无条件的过渡，以避免求解器错误。 例如: 形成错误（不正确） 不会形成错误（正确） 使用节点和转换（没有状态），您可以构建 过渡图。 有用的连结 图表 状态机 过渡期 条件
—这是系统中过渡的交汇点。 节点可以是交汇点、分支点或过渡端点。
