在
自动机理论和
时序逻辑中,状态转移表是展示有限
半自动机或
有限状态自动机基于当前状态和其他输入,要移动到什么状态(或在
非确定有限状态自动机情况下那些状态)的表格。“状态表”本质上是其中某些输入是当前状态,而输出包含与其他输出在一起的下一个状态的
真值表。
状态表是指定“状态机”的多种方式之一,其他方式包括
状态图,和“特征等式”。
也叫做特征表,一维状态表比二维版本更像真值表。输入通常放置在左侧,分隔于在右侧的输出。输出将表示这个机器的下一个状态。下面是有两个状态和两个组合输入的状态机的简单例子: