有限オートマトンと状態遷移表とは？
有限オートマトンと状態遷移表とは、有限個の状態と、入力（事象）による状態の移り変わりで振る舞いを表す数学的モデル。縦に状態、横に事象を取り、交点に遷移先と動作を書いたものが状態遷移表で、図に比べて組合せの抜けを機械的に確認しやすい。
ゆうげんおーとまとんとじょうたいせんいひょう
有限オートマトンと状態遷移表の意味
有限個の状態と、入力（事象）による状態の移り変わりで振る舞いを表す数学的モデル。縦に状態、横に事象を取り、交点に遷移先と動作を書いたものが状態遷移表で、図に比べて組合せの抜けを機械的に確認しやすい。
有限オートマトンと状態遷移表の具体例
申請の「作成中・申請中・差戻し・承認済・取下げ」といった状態と、申請・承認・差戻し・取下げの各操作を表にする。交点が空欄の箇所は「起こり得ないのか、考慮漏れなのか」を必ず判断し、そのままテストケースの網羅表としても使う。
有限オートマトンと状態遷移表は試験でどう引っ掛けられる？
状態遷移図は起こる遷移だけを描くため、あり得ない組合せの検討漏れに気づきにくい。表はその点を補うが、状態数が増えると爆発的に大きくなる。並行に動く要素は1つのオートマトンでは表しにくく、ペトリネットが向く。
有限オートマトンと状態遷移表と関連する用語
最終更新：2026-08-25／解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。