状态转移表 在自动机理论和时序逻辑中状态转移表是展示有限半自动机或有限状态自动机基于当前状态和其他输入要移动到什么状态或在非确定有限状态自动机情况下那些状态的表格状态表本质上是其中某些输入是当前状态而输出包含与其他输出在一起的下一个状态的真值表 状态表是指定状态机的多种方式之一其他方式包括状态图和特征等式