狀態轉移表

在自動機理論和時序邏輯中 ， 狀態轉移表是展示有限半自動機或有限狀態自動機基於當前狀態和其他輸入 ， 要移動到什麼狀態 （ 或在非確定有限狀態自動機情況下那些狀態 ） 的表格 。 “ 狀態表 ” 本質上是其中某些輸入是當前狀態 ， 而輸出包含與其他輸出在一起的下一個狀態的真值表 。 狀態表是指定 “ 狀態機 ” 的多種方式之一 ， 其他方式包括狀態圖 ， 和 “ 特徵等式 ” 。