この有限オートマトンは、入力されたビット列を状態遷移に従って処理します。問題文は、長さ3以上のビット列で、かつ末尾が「110」となっているものを受理したい、と述べています。有限オートマトンの受理とは、入力記号列を全て読み終えたときに、オートマトンが特定の状態(受理状態)にいればその文字列を受理する、という定義に基づきます。
2014年度 春期 情報セキュリティスペシャリスト 午前I 問2
表は、入力記号の集合が{0,1},状態集合が{a, b, c, d} である有限オートマトンの状態遷移表である。長さ3以上の任意のビット列を左(上位ビット)から順に読み込んで最後が110で終わっているものを受理するには、どの状態を受理状態とすればよいか。
選択肢
解説
結論 → 詳細 → 補足 の 3 層構成
展開閉じる
解説
結論 → 詳細 → 補足 の 3 層構成
末尾が「110」という条件を満たすためには、オートマトンが「1」の入力を受けた後に、さらに「1」の入力を受け、「11」という状態になった後、最後に「0」の入力を受けて、「110」という遷移を完了する必要があります。この「110」という遷移を完了した後の状態が受理状態であれば、末尾が「110」である文字列はすべて受理されることになります。
選択肢アのaは、初期状態である可能性が高く、「110」という特定のパターンを認識するのに十分な情報を持たない状態と考えられます。選択肢イのbは、「1」の入力を一度受けた状態かもしれませんが、それに続く「1」や「0」の入力を正しく認識して「110」を完了できる状態ではありません。選択肢エのdは、どの状態とも特定できませんが、「110」という条件を満たすための遷移の最終段階ではない可能性が高いです。
したがって、末尾が「110」という状態遷移を正確に記憶し、その遷移を完了した状態が受理状態となるように設計されていると考えるのが自然です。問題文の条件から、状態cがこの「110」という遷移の最終段階を表現していると推測され、これが受理状態として設定されることで、要求されたビット列が受理されることになります。
この解説は AI 生成です(詳細)
解説テキストは Google Gemini に IPA 公式の問題文・公式解答を入力して生成しました。 人間によるレビューを行ったものと、未レビューのものが混在します。
AI は事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があります。 重要な判断は必ず IPA 公式 PDF または最新の参考書でご確認ください。
解説の検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。
分野「基礎理論」の学習ポイント
この問題の理解を「分野全体の力」に広げるための足がかり
- 何が問われるか
- 2進数・論理演算・確率・統計など、IT全般の土台となる数学・離散構造の理解度。
- 学習の進め方
- 公式の暗記ではなく、ビット表現や真理値表を「手で書ける」状態を作る。例題を3パターン以上手で解いて感覚化する。
- 関連キーワード
- 2進数論理演算シフト演算誤差確率情報量
この問題を AI と深掘りする
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
共有
ショート動画
関連する問題
基礎理論 の他の問題
- 情報セキュリティスペシャリスト2009年度 秋期 午前I 問12進数の表現で、2の補数を使用する理由はどれか。
- 情報セキュリティスペシャリスト2009年度 秋期 午前I 問2誤り検出方式である CRC に関する記述として、適切なものはどれか。
- 情報セキュリティスペシャリスト2009年度 秋期 午前I 問3n個の要素x1,x2,…,xから成る連結リストに対して、新たな要素 xn+1の末尾への追加に要する時間をf(n) とし、末尾の要素x』の削除に要する時間をg(n) とする。 n が非常に大きいとき、実装方法 1 と実装方法2におけるf(n)g(n)の挙動として、適切なものはどれか…
- 情報セキュリティスペシャリスト2009年度 秋期 午前I 問62台のプリンタがあり、それぞれの稼働率が0.7と0.6である。この2台のいずれか一方が稼働していて、他方が故障している確率は幾らか。ここで、2台のプリンタの稼働状態は独立であり、プリンタ以外の要因は考慮しないものとする。
- 情報セキュリティスペシャリスト2009年度 秋期 午前I 問8図の論理回路において, S=1, R=1, X=0, Y=1 のとき、S をいったん0にした後、再び1に戻した。この操作を行った後のX、Yの値はどれか。