メインコンテンツへスキップ
情報セキュリティスペシャリスト2014年度 春期午前I2

2014年度 春期 情報セキュリティスペシャリスト 午前I2

難度標準

表は、入力記号の集合が{0,1},状態集合が{a, b, c, d} である有限オートマトンの状態遷移表である。長さ3以上の任意のビット列を左(上位ビット)から順に読み込んで最後が110で終わっているものを受理するには、どの状態を受理状態とすればよいか。

選択肢

a
b
c
d

解説

結論 → 詳細 → 補足 の 3 層構成

展開
結論Layer 1

この有限オートマトンは、入力されたビット列を状態遷移に従って処理します。問題文は、長さ3以上のビット列で、かつ末尾が「110」となっているものを受理したい、と述べています。有限オートマトンの受理とは、入力記号列を全て読み終えたときに、オートマトンが特定の状態(受理状態)にいればその文字列を受理する、という定義に基づきます。

詳細Layer 2

末尾が「110」という条件を満たすためには、オートマトンが「1」の入力を受けた後に、さらに「1」の入力を受け、「11」という状態になった後、最後に「0」の入力を受けて、「110」という遷移を完了する必要があります。この「110」という遷移を完了した後の状態が受理状態であれば、末尾が「110」である文字列はすべて受理されることになります。

補足Layer 3

選択肢アのaは、初期状態である可能性が高く、「110」という特定のパターンを認識するのに十分な情報を持たない状態と考えられます。選択肢イのbは、「1」の入力を一度受けた状態かもしれませんが、それに続く「1」や「0」の入力を正しく認識して「110」を完了できる状態ではありません。選択肢エのdは、どの状態とも特定できませんが、「110」という条件を満たすための遷移の最終段階ではない可能性が高いです。

したがって、末尾が「110」という状態遷移を正確に記憶し、その遷移を完了した状態が受理状態となるように設計されていると考えるのが自然です。問題文の条件から、状態cがこの「110」という遷移の最終段階を表現していると推測され、これが受理状態として設定されることで、要求されたビット列が受理されることになります。

この解説は?
この解説は AI 生成です(詳細)

解説テキストは Google Gemini に IPA 公式の問題文・公式解答を入力して生成しました。 人間によるレビューを行ったものと、未レビューのものが混在します。

AI は事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があります。 重要な判断は必ず IPA 公式 PDF または最新の参考書でご確認ください。

解説の検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。

※ AI 生成の解説は誤りを含む可能性があります。重要な判断は IPA 公式資料でご確認ください。

最終更新:

分野「基礎理論」の学習ポイント

この問題の理解を「分野全体の力」に広げるための足がかり

何が問われるか
2進数・論理演算・確率・統計など、IT全般の土台となる数学・離散構造の理解度。
学習の進め方
公式の暗記ではなく、ビット表現や真理値表を「手で書ける」状態を作る。例題を3パターン以上手で解いて感覚化する。
関連キーワード
2進数論理演算シフト演算誤差確率情報量
この分野の問題をもっと解く
AI コパイロット

この問題を AI と深掘りする

用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。

クイズモードで開く

共有

X でシェアLINE

ショート動画

関連する問題

基礎理論 の他の問題