表の状態遷移に従って動作する組込みシステムがある。 最初の状態がS0の場合に、a→b→c→d→aの順序でイベントが発せウすると、最後の状態がS4になる。 表の(*)には同じ状態名が入るが、その状態名はどれか。
| ア | S1 | イ | S2 | ウ | S3 | エ | S4 |
答え ウ
【解説】
(*)がS1〜S4のそれぞれついて状態遷移を確認する。
- S1の場合
S0−a→S1−b→S1−c→S0−d→S0−a→S1 (×) - S2の場合
S0−a→S1−b→S2−c→S2−d→S4−a→S0 (×) - S3の場合
S0−a→S1−b→S3−c→S2−d→S3−a→S4 (〇) - S4の場合
S0−a→S1−b→S4−c→S4−d→S4−a→S0 (×)
【キーワード】
・有限オートマトン
・状態遷移表
- 有限オートマトン
有限個の状態と有限個の事象からなるものの動作を表現するもの。
通常は状態遷移図で表されることが多い。
状態遷移図では状態を○状態の遷移を→で表し、事象は→の添え字で記述する。 - 状態遷移表
有限オートマトンを表現するのに表を用いたもので、各状態についての各事象の動作をすべて記述することが可能である。
制御系のソフトウェア開発では、状態遷移表を書いて設計を行うことが多い。
状態遷移表を書くためのツールもある。
もっと、「状態遷移表」について調べてみよう。
戻る
一覧へ
次へ