状态机库表

状态机表是状态状态机A两个变体之一（另一个是状态机图）。它以表的形式显示状态机的信息，是一种指定有限状态转移系统离散行为的方法；即状态机移动到什么状态以及发生转换的条件。

访问

上下文菜单

右键单击背景状态机图 |状态图编辑器 |库表（选项）

您可以在表中将状态转换显示为两种不同类型的关系之一：

类型	描述	也见
状态——触发器	行表示当前状态，列表示触发事件。如果触发发生，则行和列交叉处的单元标识转换中的目标状态，以及转换的条件（或保护），或者如果您愿意，可以触发器，以简单的状态格式。	状态-触发器表示例
-状态- 下一个状态	行和列都表示状态，行列交叉处的单元表示：触发从当前（行）状态到下一个（列）状态转换的事件事件的条件（或守卫），以及过渡效果	状态-下个状态表示例

类型

描述

也见

状态——触发器

行表示当前状态，列表示触发事件。

如果触发发生，则行和列交叉处的单元标识转换中的目标状态，以及转换的条件（或保护），或者如果您愿意，可以触发器，以简单的状态格式。

-状态- 下一个状态

行和列都表示状态，行列交叉处的单元表示：

节	行动
1	右键单击图表背景并选择“状态图编辑器”选项。
2	选择适当的显示选项：图表库表(状态-下个状态) 库表(状态-触发器) 库表（触发器-状态）

节

行动

右键单击图表背景并选择“状态图编辑器”选项。

选择适当的显示选项：