状態遷移表
状態遷移表は一般に二次元の表である。二種類の代表的な形式が存在する。
縦軸(または横軸)は現在の状態を示し、横軸(または縦軸)はイベントを示す。交差する箇所の各マスには、そのイベントが起きたときに次に遷移すべき状態を記述する(そして遷移に伴う動作があれば記述する)。
(S: 状態, E: イベント, A: 動作, -: 不正な遷移)
縦軸(または横軸)は現在の状態を示し、横軸(または縦軸)は次の状態を示す。交差する箇所の各マスは、その遷移を発生させるイベントを記述する。グラフ理論における隣接行列を拡張したものと言える。
(S: 状態, E: イベント, A: 動作, -: ありえない遷移)
状態遷移表(じょうたいせんいひょう、State Transition Table)は、状態機械類(の遷移関数 T(scurrent, e) = (a, snext))を、縦横の表にすることで、状態機械を記述したものである。scurrentはその機械の現在の状態(遷移元の状態)、eはイベント(状態機械への入力)、aはアクション(状態機械からの出力)、snextはその機械の次の状態(遷移先の状態)である。状態遷移図も状態機械の記述であるが、それぞれに利点と欠点とあるので、適宜使い分けられている。