节点 *另见： 有限自动机的第一步 有限自动机逻辑 状态机层次结构 时间逻辑运算符 节点*（连接结点） 是系统中过渡的连接点。节点可以是连接点、分支点或过渡的终点。 如果一个节点的转换形成了一个循环，那么循环中的每个节点都必须有一个无条件的转换，以避免求解器出错。例如 形成错误（不正确）. 不形成错误（正确） 借助节点和转换（无状态），我们可以构建转换图。 有用链接 图表 状态机 转型 条件
是系统中过渡的连接点。节点可以是连接点、分支点或过渡的终点。
