state machine

有限オートマトン（ゆうげん-、finite automaton、FA)または有限状態機械（ゆうげんじょうたいきかい、finite state machine、FSM）とは、有限個の状態と遷移と動作の組み合わせからなる「ふるまいのモデル」である。状態（state）とは過去に関する情報を格納するものであり、システムが開始してから現在までの入力を反映するものである。 遷移（transition）とは状態変化を示すものであり、遷移を実現するのに必要な条件とともに示される。 動作（action）とは活動の説明であり、与えられた時点で実行しなければならないことを示している。 動作にはいくつかの型がある。開始（Entry）動作その状態に入るときに行う動作終了（Exit）動作その状態から出るときに行う動作入力（Input）動作現在状態と入力条件に依存して行う動作遷移（Transition）動作ある遷移を行うときに実行される動作有限オートマトンは図1のように状態遷移図で表すことができる。 それと共にある種の状態遷移表が使用される。 最も一般的な形式を下に示す。 現在の状態（B）と条件（Y）の交差するところに次の状態（C）が示される。 完全な動作についての情報は脚注の形で追記される。 完全な動作についての情報を持つ有限オートマトンの定義は、仮想有限状態機械の状態表を使えば可能である。
Wikipedia.orgをもっと見ると…