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