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