什么是状态向量

什么是状态向量

状态向量是描述状态机的元素之一,是通过触发器实例名称的有序列表来指定的。指定的触发器存储了有序的位模式,这些位模式定义了有限状态机在任何给定 时刻的当前状态。一个特定的触发器位模式与一个状态相对应。例如, ff1、ff2、ff3是触发器的实例名称,则列表{ ff1 ff2 ff3}定义了一个3位的状态向量,这个状态向量可以表示不多于8个状态的有限状态机。