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